TRUE.
```
$x = [screw her ? I hardly know her !]
```
```
Used theories: DadJoke001.b, and, drop exclamation mark, droplast_cons, endswithword_c, nat, rewritten, thought
Starting on goal: [think [user says [screw her !]]] and [say $x]
Goal arity 3: [think [user says [screw her !]]] and [say $x]
nextSolution
Got clause: _1 and _2
  Clause unifies to: [think [user says [screw her !]]] and [say $x]
  gdash: think [user says [screw her !]]
Goal arity 2: think [user says [screw her !]]
 Got clause: think _7
   Clause unifies to: think [user says [screw her !]]
  Clause is native.
   gdash: say $x
 Goal arity 2: say $x
  Got clause: say [_14 her ? I hardly know her !]
    Clause unifies to: say [_14 her ? I hardly know her !]
    gdash: rewrite with theory "drop exclamation mark from user input"
  Goal arity 4: rewrite with theory "drop exclamation mark from user input"
   Got clause: rewrite with theory _45
     Clause unifies to: rewrite with theory "drop exclamation mark from user input"
    Clause is native.
  REW user says $e1 :- ...
Starting on goal: user says _47
Goal arity 3: user says _47
Got clause: user says [screw her !]
  Clause unifies to: user says [screw her !]
  gdash: _46 = drop exclamation mark ([screw her !])
Goal arity 6: _46 = drop exclamation mark ([screw her !])
 Got clause: _86 = drop exclamation mark (_87)
   Clause unifies to: _46 = drop exclamation mark ([screw her !])
   gdash: _88 = tocons ([screw her !])
 Goal arity 4: _88 = tocons ([screw her !])
  Got clause: _105 = tocons (_106)
    Clause unifies to: _88 = tocons ([screw her !])
   Clause is native.
    gdash: endswithword_c [cons screw [cons her [cons ! end]]] !
  Goal arity 3: endswithword_c [cons screw [cons her [cons ! end]]] !
   Got clause: endswithword_c [cons _110 _111] _112
     Clause unifies to: endswithword_c [cons screw [cons her [cons ! end]]] !
     gdash: endswithword_c [cons her [cons ! end]] !
   Goal arity 3: endswithword_c [cons her [cons ! end]] !
    Got clause: endswithword_c [cons _116 _117] _118
      Clause unifies to: endswithword_c [cons her [cons ! end]] !
      gdash: endswithword_c [cons ! end] !
    Goal arity 3: endswithword_c [cons ! end] !
     Got clause: endswithword_c [cons _121 end] _121
       Clause unifies to: endswithword_c [cons ! end] !
       gdash: _89 = droplast_c [cons screw [cons her [cons ! end]]]
     Goal arity 4: _89 = droplast_c [cons screw [cons her [cons ! end]]]
      Got clause: [cons _154 _155] = droplast_c [cons _154 _156]
        Clause unifies to: [cons screw _155] = droplast_c [cons screw [cons her [cons ! end]]]
        gdash: _155 = droplast_c [cons her [cons ! end]]
      Goal arity 4: _155 = droplast_c [cons her [cons ! end]]
       Got clause: [cons _189 _190] = droplast_c [cons _189 _191]
         Clause unifies to: [cons her _190] = droplast_c [cons her [cons ! end]]
         gdash: _190 = droplast_c [cons ! end]
       Goal arity 4: _190 = droplast_c [cons ! end]
        Got clause: end = droplast_c [cons _223 end]
          Clause unifies to: end = droplast_c [cons ! end]
          gdash: _46 = fromcons ([cons screw [cons her end]])
        Goal arity 4: _46 = fromcons ([cons screw [cons her end]])
         Got clause: _241 = fromcons (_242)
           Clause unifies to: _46 = fromcons ([cons screw [cons her end]])
          Clause is native.
           gdash: -
SUCCESS!
Found new statement: "[]"(user, says, "[]"(screw, her))
        Got clause: [cons _316 _317] = droplast_c [cons _316 _318]
          Clause unifies to: [cons ! _317] = droplast_c [cons ! end]
          gdash: _317 = droplast_c end
        Goal arity 4: _317 = droplast_c end
         Got clause: end = droplast_c end
           Clause unifies to: end = droplast_c end
           gdash: _46 = fromcons ([cons screw [cons her [cons ! end]]])
         Goal arity 4: _46 = fromcons ([cons screw [cons her [cons ! end]]])
          Got clause: _367 = fromcons (_368)
            Clause unifies to: _46 = fromcons ([cons screw [cons her [cons ! end]]])
           Clause is native.
            gdash: -
SUCCESS!
Statement exists, skipping: "[]"(user, says, "[]"(screw, her, "!"))
     Got clause: endswithword_c [cons _674 _675] _676
       Clause unifies to: endswithword_c [cons ! end] !
       gdash: endswithword_c end !
     Goal arity 3: endswithword_c end !
Got 1 rewritten terms.
Adding rewritten term: user says [screw her]
     gdash: user says [_14 her]
   Goal arity 3: user says [_14 her]
    Got clause: user says [screw her]
      Clause unifies to: user says [screw her]
      gdash: -
SUCCESS!
  solution found in step 47
UserVarMap goal: "[]"("[]"(think, "[]"(user, says, "[]"(screw, her, "!"))), and, "[]"(say, "[]"(screw, her, "?", I, hardly, know, her, "!")))
UserVarMap var "[]"(screw, her, "?", I, hardly, know, her, "!") ok: true```
[done] 102 ms