FALSE in ["tennis", "and", "not", "is a theory", "is in list", "iter", "and 3", "tb.stefanreich.004683"]
```
Starting on goal: [think [user says [boris becker is a tennis player]]] and [say $x]
Goal arity 3: [think [user says [boris becker is a tennis player]]] and [say $x]
nextSolution
Got clause: _1 and _2
  Clause unifies to: [think [user says [boris becker is a tennis player]]] and [say $x]
  gdash: think [user says [boris becker is a tennis player]]
Goal arity 2: think [user says [boris becker is a tennis player]]
 Got clause: think _9
   Clause unifies to: think [user says [boris becker 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 [boris becker is a tennis player]
     Clause unifies to: user says [boris becker is a tennis player]
     gdash: memorize [boris becker is supposedly a tennis player]
   Goal arity 2: memorize [boris becker is supposedly a tennis player]

No solution``` 2 ms