Starting on goal: Prolog$Goal(car=l("[]", "not", l("()", l("[]", "true", "or", "true"))))
  Trying clause: "[]"(verify, "[]"(_1, should, be, true)) :- _1
No match for clause.
  Trying clause: "[]"(verify, "[]"(_2, should, be, false)) :- "[]"(not, "()"(_2))
No match for clause.
  Trying clause: "[]"(not, "()"(_3)) :- _3; "!"; false
New goal: "[]"(true, or, true); "!"; false
   Trying clause: nativeTest2 :- native
 No match for clause.
   Trying clause: nativeFail :- native
 No match for clause.
   Trying clause: "[]"(_4, "=", intmul, "()"("[]"(_5, ",", _6))) :- native
 No match for clause.
   Trying clause: "[]"(_7, "=", intdiv, "()"("[]"(_8, ",", _9))) :- native
 No match for clause.
   Trying clause: "[]"(_10, "=", intadd, "()"("[]"(_11, ",", _12))) :- native
 No match for clause.
   Trying clause: "[]"(_13, "=", intminus, "()"("[]"(_14, ",", _15))) :- native
 No match for clause.
   Trying clause: "[]"(_16, is, greater, than, _17) :- native
 No match for clause.
   Trying clause: "[]"(head, _18, exists, in, theory, _19) :- native
 No match for clause.
   Trying clause: "[]"(_20, "=", all, theory, names) :- native
 No match for clause.
   Trying clause: "[]"(_21, "=", tocons, "()"(_22)) :- native
 No match for clause.
   Trying clause: "[]"(_23, in, _24) :- "[]"(_24, "=", tocons, "()"(_25)); "[]"(_23, "=", iter, _24)
 No match for clause.
   Trying clause: "[]"(_26, or, _27) :- _26
 New goal: true
    Trying clause: nativeTest2 :- native
  No match for clause.
    Trying clause: nativeFail :- native
  No match for clause.
    Trying clause: "[]"(_28, "=", intmul, "()"("[]"(_29, ",", _30))) :- native
  No match for clause.
    Trying clause: "[]"(_31, "=", intdiv, "()"("[]"(_32, ",", _33))) :- native
  No match for clause.
    Trying clause: "[]"(_34, "=", intadd, "()"("[]"(_35, ",", _36))) :- native
  No match for clause.
    Trying clause: "[]"(_37, "=", intminus, "()"("[]"(_38, ",", _39))) :- native
  No match for clause.
    Trying clause: "[]"(_40, is, greater, than, _41) :- native
  No match for clause.
    Trying clause: "[]"(head, _42, exists, in, theory, _43) :- native
  No match for clause.
    Trying clause: "[]"(_44, "=", all, theory, names) :- native
  No match for clause.
    Trying clause: "[]"(_45, "=", tocons, "()"(_46)) :- native
  No match for clause.
    Trying clause: "[]"(_47, in, _48) :- "[]"(_48, "=", tocons, "()"(_49)); "[]"(_47, "=", iter, _48)
  No match for clause.
    Trying clause: "[]"(_50, or, _51) :- _50
  No match for clause.
    Trying clause: "[]"(_52, or, _53) :- _53
  No match for clause.
    Trying clause: "[]"(_54, "=", iter, "[]"(cons, _54, _55))
  No match for clause.
    Trying clause: "[]"(_56, "=", iter, "[]"(cons, _57, _58)) :- "[]"(_56, "=", iter, _58)
  No match for clause.
    Trying clause: "[]"(verify, "[]"(_59, should, be, true)) :- _59
  No match for clause.
    Trying clause: "[]"(_60, "=", smartmul, "()"("[]"(_61, ",", _62))) :- "[]"(_60, "=", intmul, "()"("[]"(_61, ",", _62)))
  No match for clause.
    Trying clause: "[]"(_63, "=", smartmul, "()"("[]"(_64, ",", _65))) :- "[]"(_64, "=", intdiv, "()"("[]"(_63, ",", _65)))
  No match for clause.
    Trying clause: "[]"(_66, "=", smartmul, "()"("[]"(_67, ",", _68))) :- "[]"(_68, "=", intdiv, "()"("[]"(_66, ",", _67)))
  No match for clause.
    Trying clause: "[]"(verify, "[]"(_69, should, be, false)) :- "[]"(not, "()"(_69))
  No match for clause.
    Trying clause: "()"(_70) :- _70
  No match for clause.
    Trying clause: "[]"("\"and\"", is, a, fill, word)
  No match for clause.
    Trying clause: "[]"("\",\"", is, a, fill, word)
  No match for clause.
    Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)
  No match for clause.
    Trying clause: "[]"(mrshutco, is, a, human)
  No match for clause.
    Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)
  No match for clause.
    Trying clause: "[]"(not, "()"(_71)) :- _71; "!"; false
  No match for clause.
    Trying clause: "[]"(not, "()"(_72))
  No match for clause.
    Trying clause: "[]"(_73, and, _74) :- _73; _74
  No match for clause.
    Trying clause: "[]"(_75, is, in, list, _76) :- "[]"(_77, "=", tocons, "()"(_76)); "[]"(_75, "=", iter, _77)
  No match for clause.
    Trying clause: "[]"(feet, is, the, plural, of, foot)
  No match for clause.
    Trying clause: "[]"(bits, is, the, plural, of, bit)
  No match for clause.
    Trying clause: "[]"(lasagna, is, tasty)
  No match for clause.
   Trying clause: "[]"(_78, or, _79) :- _79
 New goal: true