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