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