FALSE in ["tennis", "and"]
```
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 _7
   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 _13 _14 must be a fit guy !]
    Clause unifies to: say [ah , so _13 _14 must be a fit guy !]
    gdash: user says [_13 _14 is a tennis player]
  Goal arity 3: user says [_13 _14 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]
Done with goal!
No solution``` 1 ms