TRUE.
```
$x = [[the name of [theory bla]] is bla !]
```
```
Used theories: and, grouping 1, grouping 2.x, nat, rew, rew!, theory name, thought, usermul, what is
Starting on goal: [think [user says [what is the name of [theory bla] ?]]] and [say $x]
Goal arity 3: [think [user says [what is the name of [theory bla] ?]]] and [say $x]
nextSolution
Got clause: _1 and _2
  Clause unifies to: [think [user says [what is the name of [theory bla] ?]]] and [say $x]
  gdash: think [user says [what is the name of [theory bla] ?]]
Goal arity 2: think [user says [what is the name of [theory bla] ?]]
 Got clause: think _7
   Clause unifies to: think [user says [what is the name of [theory bla] ?]]
  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 [_47 is _48 !]
    Clause unifies to: say [_47 is _48 !]
    gdash: user says _49
  Goal arity 3: user says _49
   Got clause: user says [what is the name of [theory bla] ?]
     Clause unifies to: user says [what is the name of [theory bla] ?]
     gdash: rew ! [what is the name of [theory bla] ?] to [what is _47 ?]
   Goal arity 5: rew ! [what is the name of [theory bla] ?] to [what is _47 ?]
    Got clause: rew ! _99 to _100
      Clause unifies to: rew ! [what is the name of [theory bla] ?] to [what is _47 ?]
      gdash: rew [what is the name of [theory bla] ?] to [what is _47 ?]
    Goal arity 4: rew [what is the name of [theory bla] ?] to [what is _47 ?]
     Got clause: rew _159 to _160
       Clause unifies to: rew [what is the name of [theory bla] ?] to [what is _47 ?]
       gdash: rewrite [what is the name of [theory bla] ?] to _161
     Goal arity 4: rewrite [what is the name of [theory bla] ?] to _161
      Got clause: rewrite [what is the _193 of _194 ?] to [what is [the _193 of _194] ?]
        Clause unifies to: rewrite [what is the name of [theory bla] ?] to [what is [the name of [theory bla]] ?]
        gdash: rew [what is [the name of [theory bla]] ?] to [what is _47 ?]
      Goal arity 4: rew [what is [the name of [theory bla]] ?] to [what is _47 ?]
       Got clause: rew _253 to _254
         Clause unifies to: rew [what is [the name of [theory bla]] ?] to [what is _47 ?]
         gdash: rewrite [what is [the name of [theory bla]] ?] to _255
       Goal arity 4: rewrite [what is [the name of [theory bla]] ?] to _255
       Got clause: rew _343 to _343
         Clause unifies to: rew [what is [the name of [theory bla]] ?] to [what is [the name of [theory bla]] ?]
         gdash: ?? "!"("5")
       Goal arity 1: ?? "!"("5")
cut -1. Prolog$Goal(car=l("!", "5"), cdr=Prolog$Goal(car=l("[]", Prolog$Var(id=47L, instance=l("[]", "the", Prolog$Var(id=193L, instance=l("name")), "of", Prolog$Var(id=194L, instance=l("[]", "theory", "bla")))), "is", Prolog$Var(id=48L, instance=r11))))
        Goal arity 3: [the name of [theory bla]] is _48
         Got clause: [the _346 of _347] is _348
           Clause unifies to: [the name of [theory bla]] is _48
           gdash: the name of [theory bla] is _48
         Goal arity 6: the name of [theory bla] is _48
          Got clause: the name of [theory _354] is _354
            Clause unifies to: the name of [theory bla] is bla
            gdash: -
SUCCESS!
  solution found in step 198```
[done] 95 ms