FALSE in ["what is", "maus", "smartadd", "theory 2", "theory 1", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "is a, has a", "rew", "iter", "dadbot+1", "eq", "grouping 2", "brackets", "grouping 1", "or3", "number of theories", "theory", "very funny", "rew!", "drop 'the' test.out", "grouping 2.x", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "memorize new 2", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "theory name", "is a theory", "ifthenelse", "foot-feet", "bit-bits", "maus", "smartadd", "theory 2", "theory 1", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "is a, has a", "rew", "iter", "dadbot+1", "eq", "grouping 2", "brackets", "grouping 1", "or3", "number of theories", "theory", "very funny", "rew!", "drop 'the' test.out", "grouping 2.x", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "memorize new 2", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "theory name", "is a theory", "ifthenelse", "foot-feet", "bit-bits"]
```
Starting on goal: [think [user says [what is the name of [theory bla] ?]]] and [say $x]
Goal arity 3: [think [user says [what is the name of [theory bla] ?]]] and [say $x]
nextSolution
Got clause: _1 and _2
  Clause unifies to: [think [user says [what is the name of [theory bla] ?]]] and [say $x]
  gdash: think [user says [what is the name of [theory bla] ?]]
Goal arity 2: think [user says [what is the name of [theory bla] ?]]
 Got clause: think _7
   Clause unifies to: think [user says [what is the name of [theory bla] ?]]
  Clause is native.
   gdash: say $x
 Goal arity 2: say $x
  Got clause: say [it's _20 !]
    Clause unifies to: say [it's _20 !]
    gdash: user says [_21 * _22]
  Goal arity 3: user says [_21 * _22]
  Got clause: say [_47 is _48 !]
    Clause unifies to: say [_47 is _48 !]
    gdash: user says _49
  Goal arity 3: user says _49
   Got clause: user says [what is the name of [theory bla] ?]
     Clause unifies to: user says [what is the name of [theory bla] ?]
     gdash: rew ! [what is the name of [theory bla] ?] to [what is _47]
   Goal arity 5: rew ! [what is the name of [theory bla] ?] to [what is _47]
    Got clause: rew ! _99 to _100
      Clause unifies to: rew ! [what is the name of [theory bla] ?] to [what is _47]
      gdash: rew [what is the name of [theory bla] ?] to [what is _47]
    Goal arity 4: rew [what is the name of [theory bla] ?] to [what is _47]
     Got clause: rew _159 to _160
       Clause unifies to: rew [what is the name of [theory bla] ?] to [what is _47]
       gdash: rewrite [what is the name of [theory bla] ?] to _161
     Goal arity 4: rewrite [what is the name of [theory bla] ?] to _161
      Got clause: rewrite [what is the _193 of _194 ?] to [what is [the _193 of _194] ?]
        Clause unifies to: rewrite [what is the name of [theory bla] ?] to [what is [the name of [theory bla]] ?]
        gdash: rew [what is [the name of [theory bla]] ?] to [what is _47]
      Goal arity 4: rew [what is [the name of [theory bla]] ?] to [what is _47]
       Got clause: rew _253 to _254
         Clause unifies to: rew [what is [the name of [theory bla]] ?] to [what is _47]
         gdash: rewrite [what is [the name of [theory bla]] ?] to _255
       Goal arity 4: rewrite [what is [the name of [theory bla]] ?] to _255
  Got clause: say [_449 is tasty !]
    Clause unifies to: say [_449 is tasty !]
    gdash: user says [what is tasty]
  Goal arity 3: user says [what is tasty]

No solution``` 94 ms