TRUE.
```
$x = [ah , so boris becker must be a fit guy !]
```
```
Used theories: ?, and, memorize dummy, nat, tennis
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 _19 _20 must be a fit guy !]
    Clause unifies to: say [ah , so _19 _20 must be a fit guy !]
    gdash: user says [_19 _20 is a tennis player]
  Goal arity 3: user says [_19 _20 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]
    Got clause: memorize _48
      Clause unifies to: memorize [boris becker is supposedly a tennis player]
      gdash: -
SUCCESS!
  solution found in step 37```
[done] 88 ms