The mouse eats the squirrel. The mouse is blue. The mouse is round. The mouse does not need the squirrel. The mouse visits the squirrel. The squirrel is not blue. The squirrel is not cold. The squirrel is round. The squirrel does not need the mouse. The squirrel visits the mouse. If the squirrel is not cold then the squirrel eats the mouse. If something is round and it visits the mouse then it needs the squirrel. If something needs the mouse and it visits the squirrel then the mouse does not need the squirrel. If the squirrel does not eat the mouse then the mouse does not need the squirrel. If something needs the squirrel then it does not need the mouse. If something is green then it does not need the mouse.
The mouse eats the mouse.
@0: The mouse does not need the squirrel.[(triple4)] The mouse eats the squirrel.[(triple1)] The mouse is blue.[(triple2)] The mouse is round.[(triple3)] The mouse visits the squirrel.[(triple5)] The squirrel does not need the mouse.[(triple9 OR ((((triple8 triple10) -> rule2)) -> rule5))] The squirrel is not blue.[(triple6)] The squirrel is not cold.[(triple7)] The squirrel is round.[(triple8)] The squirrel visits the mouse.[(triple10)] @1: The squirrel eats the mouse.[(((triple7) -> rule1))] The squirrel needs the squirrel.[(((triple8 triple10) -> rule2))]