TRUE.
```
$x = [mrshutco lives in canada !]
```
```
Used theories: and, mrshutco-canada, nat, thought, where does x live
Starting on goal: [think [user says [where does mrshutco live]]] and [say $x]
Goal arity 3: [think [user says [where does mrshutco live]]] and [say $x]
nextSolution
Got clause: _1 and _2
  Clause unifies to: [think [user says [where does mrshutco live]]] and [say $x]
  gdash: think [user says [where does mrshutco live]]
Goal arity 2: think [user says [where does mrshutco live]]
 Got clause: think _9
   Clause unifies to: think [user says [where does mrshutco live]]
  Clause is native.
   gdash: say $x
 Goal arity 2: say $x
  Got clause: say [_18 lives in _19 !]
    Clause unifies to: say [_18 lives in _19 !]
    gdash: user says [where does _18 live]
  Goal arity 3: user says [where does _18 live]
   Got clause: user says [where does mrshutco live]
     Clause unifies to: user says [where does mrshutco live]
     gdash: mrshutco lives in _19
   Goal arity 4: mrshutco lives in _19
    Got clause: mrshutco lives in canada
      Clause unifies to: mrshutco lives in canada
      gdash: -
SUCCESS!
  solution found in step 33
UserVarMap goal: "[]"("[]"(think, "[]"(user, says, "[]"(where, does, mrshutco, live))), and, "[]"(say, "[]"(mrshutco, lives, in, canada, "!")))
UserVarMap var "[]"(mrshutco, lives, in, canada, "!") ok: true```
[done] 5 ms