TRUE.
```
$x = dadbot is really funny
```
```
Starting on goal: say $x
Goal arity 2: say $x
nextSolution
  Push $x (_1)
  Push $collector (_2)
  Resetting variable $collector (_2)
  Resetting variable $x (_1)
  Push $x (_3)
  Resetting variable $x (_3)
  Push $e2 (_4)
  Push $e1 (_5)
  Resetting variable $e1 (_5)
  Resetting variable $e2 (_4)
  Push _4 ($x)
Got clause: say _4
  Clause unifies to: say $x
  gdash: true
Goal arity 0: true
 Got clause: true
   Clause unifies to: true
   gdash: _5 = theory "dadbot+1"
 Goal arity 4: _5 = theory "dadbot+1"
    Push $x (_6)
    Resetting variable $x (_6)
    Push _6 (_5)
    Resetting variable _6 (_5)
    Push $x (_7)
    Push $collector (_8)
    Resetting variable $collector (_8)
    Resetting variable $x (_7)
    Push _7 (_5)
    Resetting variable _7 (_5)
    Push $a (_9)
    Push $x (_10)
    Push $y (_11)
    Resetting variable $y (_11)
    Resetting variable $x (_10)
    Resetting variable $a (_9)
    Push _9 (_5)
    Resetting variable _9 (_5)
    Push $a (_12)
    Push $x (_13)
    Push $y (_14)
    Resetting variable $y (_14)
    Resetting variable $x (_13)
    Resetting variable $a (_12)
    Push _12 (_5)
    Resetting variable _12 (_5)
    Push $a (_15)
    Push $x (_16)
    Push $y (_17)
    Resetting variable $y (_17)
    Resetting variable $x (_16)
    Resetting variable $a (_15)
    Push _15 (_5)
    Resetting variable _15 (_5)
    Push $a (_18)
    Push $x (_19)
    Push $y (_20)
    Resetting variable $y (_20)
    Resetting variable $x (_19)
    Resetting variable $a (_18)
    Push _18 (_5)
    Resetting variable _18 (_5)
    Push $x (_21)
    Push $y (_22)
    Resetting variable $y (_22)
    Resetting variable $x (_21)
    Push _21 (_5)
    Resetting variable _21 (_5)
    Push $x (_23)
    Push $y (_24)
    Resetting variable $y (_24)
    Resetting variable $x (_23)
    Push _23 (_5)
    Resetting variable _23 (_5)
    Push $x (_25)
    Push $word (_26)
    Push $y (_27)
    Resetting variable $y (_27)
    Resetting variable $word (_26)
    Resetting variable $x (_25)
    Push _25 (_5)
    Resetting variable _25 (_5)
    Push $x (_28)
    Push $name (_29)
    Resetting variable $name (_29)
    Resetting variable $x (_28)
    Push _28 (_5)
    Push _29 ("\"dadbot+1\"")
  Got clause: _28 = theory _29
    Clause unifies to: _5 = theory "dadbot+1"
   Clause is native.
    Push _5 ("[]"(the, dadbot, is, really, funny))
    gdash: $x = removeword ([the , [the dadbot is really funny]])
  Goal arity 4: $x = removeword ([the , [the dadbot is really funny]])
     Push $x (_30)
     Resetting variable $x (_30)
     Push _30 ($x)
     Resetting variable _30 ($x)
     Push $x (_31)
     Push $collector (_32)
     Resetting variable $collector (_32)
     Resetting variable $x (_31)
     Push _31 ($x)
     Resetting variable _31 ($x)
     Push $a (_33)
     Push $x (_34)
     Push $y (_35)
     Resetting variable $y (_35)
     Resetting variable $x (_34)
     Resetting variable $a (_33)
     Push _33 ($x)
     Resetting variable _33 ($x)
     Push $a (_36)
     Push $x (_37)
     Push $y (_38)
     Resetting variable $y (_38)
     Resetting variable $x (_37)
     Resetting variable $a (_36)
     Push _36 ($x)
     Resetting variable _36 ($x)
     Push $a (_39)
     Push $x (_40)
     Push $y (_41)
     Resetting variable $y (_41)
     Resetting variable $x (_40)
     Resetting variable $a (_39)
     Push _39 ($x)
     Resetting variable _39 ($x)
     Push $a (_42)
     Push $x (_43)
     Push $y (_44)
     Resetting variable $y (_44)
     Resetting variable $x (_43)
     Resetting variable $a (_42)
     Push _42 ($x)
     Resetting variable _42 ($x)
     Push $x (_45)
     Push $y (_46)
     Resetting variable $y (_46)
     Resetting variable $x (_45)
     Push _45 ($x)
     Resetting variable _45 ($x)
     Push $x (_47)
     Push $y (_48)
     Resetting variable $y (_48)
     Resetting variable $x (_47)
     Push _47 ($x)
     Resetting variable _47 ($x)
     Push $x (_49)
     Push $word (_50)
     Push $y (_51)
     Resetting variable $y (_51)
     Resetting variable $word (_50)
     Resetting variable $x (_49)
     Push _49 ($x)
     Push _50 (the)
     Push _51 ("[]"(the, dadbot, is, really, funny))
   Got clause: _49 = removeWord ([_50 , _51])
     Clause unifies to: $x = removeWord ([the , [the dadbot is really funny]])
    Clause is native.
     Push $x ("[]"(dadbot, is, really, funny))
     gdash: -
SUCCESS!
  solution found in step 27```
[done] 4 ms