FALSE in ["tennis", "maus", "smartadd", "memorize new", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "iter", "dadbot+1", "eq", "brackets", "or3", "number of theories", "very funny", "drop 'the' test.out", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "is a theory", "ifthenelse", "foot-feet", "bit-bits", "maus", "smartadd", "memorize new", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "iter", "dadbot+1", "eq", "brackets", "or3", "number of theories", "very funny", "drop 'the' test.out", "not test 2", "not test 1", "not", "and", "yo cons", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "is a theory", "ifthenelse", "foot-feet", "bit-bits"]
```
Starting on goal: [think [user says [andre agassi is a tennis player]]] and [say $x]
Goal arity 3: [think [user says [andre agassi is a tennis player]]] and [say $x]
nextSolution
Got clause: _1 and _2
  Clause unifies to: [think [user says [andre agassi is a tennis player]]] and [say $x]
  gdash: think [user says [andre agassi is a tennis player]]
Goal arity 2: think [user says [andre agassi is a tennis player]]
 Got clause: think _7
   Clause unifies to: think [user says [andre agassi is a tennis player]]
  Clause is native.
   gdash: say $x
 Goal arity 2: say $x
  Got clause: say [ah , so _20 _21 must be a fit guy !]
    Clause unifies to: say [ah , so _20 _21 must be a fit guy !]
    gdash: user says [_20 _21 is a tennis player]
  Goal arity 3: user says [_20 _21 is a tennis player]
   Got clause: user says [andre agassi is a tennis player]
     Clause unifies to: user says [andre agassi is a tennis player]
     gdash: memorize [andre agassi is supposedly a tennis player]
   Goal arity 2: memorize [andre agassi is supposedly a tennis player]
  Got clause: say [it's _61 !]
    Clause unifies to: say [it's _61 !]
    gdash: user says [_62 * _63]
  Goal arity 3: user says [_62 * _63]
  Got clause: say [_85 is tasty !]
    Clause unifies to: say [_85 is tasty !]
    gdash: user says [what is tasty]
  Goal arity 3: user says [what is tasty]
Done with goal!
No solution``` 2 ms