The mouse is cold. The mouse needs the squirrel. The squirrel likes the mouse. If someone is nice then they see the mouse. If someone needs the squirrel and they see the squirrel then they need the mouse. If someone needs the mouse then the mouse is blue. If someone is big and they need the squirrel then they like the squirrel. If the mouse likes the squirrel then the mouse sees the squirrel. If someone needs the squirrel and the squirrel likes the mouse then they see the squirrel.
The mouse does not see the squirrel.
@0: The mouse is cold.[(triple1)] The mouse needs the squirrel.[(triple2)] The squirrel likes the mouse.[(triple3)] @1: The mouse sees the squirrel.[(((triple2 triple3) -> rule6))] @2: The mouse needs the mouse.[(((triple2 ((triple2 triple3) -> rule6)) -> rule2))] @3: The mouse is blue.[(((((triple2 ((triple2 triple3) -> rule6)) -> rule2)) -> rule3))]