TRUE.
```
$x = [[ice cream] is tasty !]
```
```
Used theories: and, ice cream, nat, really funny, rew, rew!, thought, usermul, very funny, what is, what is tasty
Starting on goal: [think [user says [what is tasty]]] and [say $x]
Goal arity 3: [think [user says [what is tasty]]] and [say $x]
nextSolution
Got clause: _1 and _2
  Clause unifies to: [think [user says [what is tasty]]] and [say $x]
  gdash: think [user says [what is tasty]]
Goal arity 2: think [user says [what is tasty]]
 Got clause: think _7
   Clause unifies to: think [user says [what is tasty]]
  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 [_44 is _45 !]
    Clause unifies to: say [_44 is _45 !]
    gdash: user says _46
  Goal arity 3: user says _46
   Got clause: user says [what is tasty]
     Clause unifies to: user says [what is tasty]
     gdash: rew ! [what is tasty] to [what is _44]
   Goal arity 5: rew ! [what is tasty] to [what is _44]
    Got clause: rew ! _93 to _94
      Clause unifies to: rew ! [what is tasty] to [what is _44]
      gdash: rew [what is tasty] to [what is _44]
    Goal arity 4: rew [what is tasty] to [what is _44]
     Got clause: rew _153 to _154
       Clause unifies to: rew [what is tasty] to [what is _44]
       gdash: rewrite [what is tasty] to _155
     Goal arity 4: rewrite [what is tasty] to _155
     Got clause: rew _243 to _243
       Clause unifies to: rew [what is tasty] to [what is tasty]
       gdash: ?? "!"("5")
     Goal arity 1: ?? "!"("5")
cut -1. Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=44L, instance=l("tasty")), "is", Prolog$Var(id=45L, instance=r7))))
      Goal arity 3: tasty is _45
       Got clause: _257 is funny
         Clause unifies to: tasty is funny
         gdash: tasty is really funny
       Goal arity 4: tasty is really funny
       Got clause: _345 is funny
         Clause unifies to: tasty is funny
         gdash: tasty is very funny
       Goal arity 4: tasty is very funny
cut 0. Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=44L, instance=l("tasty")), "is", Prolog$Var(id=45L, instance=r7))))
back to cut point 5
cut: dropping Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=44L, instance=l("tasty")), "is", Prolog$Var(id=45L, instance=r7))))
cut: dropping Prolog$Goal(car=l("[]", "rew", Prolog$Var(id=93L, instance=Prolog$Var(id=46L, instance=l("[]", "what", "is", "tasty"))), "to", Prolog$Var(id=94L, instance=l("[]", "what", "is", Prolog$Var(id=44L, instance=l("tasty"))))), cdr=Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("[]", r8, "is", Prolog$Var(id=45L, instance=r14)))))
cut: dropping Prolog$Goal(car=l("[]", "rew", "!", Prolog$Var(id=46L, instance=l("[]", "what", "is", "tasty")), "to", l("[]", "what", "is", Prolog$Var(id=44L, instance=r6))), cdr=Prolog$Goal(car=l("[]", r6, "is", Prolog$Var(id=45L, instance=r9))))
  Got clause: say [_437 is tasty !]
    Clause unifies to: say [_437 is tasty !]
    gdash: user says [what is tasty]
  Goal arity 3: user says [what is tasty]
   Got clause: user says [what is tasty]
     Clause unifies to: user says [what is tasty]
     gdash: _437 is tasty
   Goal arity 3: _437 is tasty
    Got clause: [ice cream] is tasty
      Clause unifies to: [ice cream] is tasty
      gdash: -
SUCCESS!
  solution found in step 256```
[more] 9 ms