Starting on goal: Prolog$Goal(car=l("[]", "say", Prolog$Var(id=0L, instance=r3)))
Goal arity 2: "[]"(say, $x)
nextSolution
  Goal: "[]"(say, $x). Got clause: "[]"(say, "[]"(_4, her, "?", I, hardly, know, her, "!")) :- "[]"(user, says, "[]"(_4, her))
  Clause unifies to: "[]"(say, "[]"(_4, her, "?", I, hardly, know, her, "!")) :- "[]"(user, says, "[]"(_4, her))
  gdash: "[]"(user, says, "[]"(_4, her))
Goal arity 3: "[]"(user, says, "[]"(_4, her))
New goal: "[]"(user, says, "[]"(_4, her))
  Goal: "[]"(say, $x). Got clause: "[]"(say, "[]"(hello, _5, "!")) :- "[]"(user, says, "[]"(i, am, _5))
  Clause unifies to: "[]"(say, "[]"(hello, _5, "!")) :- "[]"(user, says, "[]"(i, am, _5))
  gdash: "[]"(user, says, "[]"(i, am, _5))
Goal arity 3: "[]"(user, says, "[]"(i, am, _5))
New goal: "[]"(user, says, "[]"(i, am, _5))
  Goal: "[]"(say, $x). Got clause: "[]"(say, "[]"(I, asked, him, and, he, said, ":", "'I still love Vista, baby'")) :- "[]"(user, says, "[]"(Why, "didn't", the, terminator, upgrade, to, windows, "10", "?"))
  Clause unifies to: "[]"(say, "[]"(I, asked, him, and, he, said, ":", "'I still love Vista, baby'")) :- "[]"(user, says, "[]"(Why, "didn't", the, terminator, upgrade, to, windows, "10", "?"))
  gdash: "[]"(user, says, "[]"(Why, "didn't", the, terminator, upgrade, to, windows, "10", "?"))
Goal arity 3: "[]"(user, says, "[]"(Why, "didn't", the, terminator, upgrade, to, windows, "10", "?"))
New goal: "[]"(user, says, "[]"(Why, "didn't", the, terminator, upgrade, to, windows, "10", "?"))
Done with goal!
No solution