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