The cow eats the squirrel. The mouse eats the cow. The mouse is red. The mouse visits the cow. The mouse visits the rabbit. The mouse visits the squirrel. The rabbit needs the mouse. The squirrel needs the mouse. The squirrel needs the rabbit. The squirrel visits the mouse. If something needs the rabbit then the rabbit eats the squirrel.
The squirrel needs the mouse.
@0: The cow eats the squirrel.[(triple1)] The mouse eats the cow.[(triple2)] The mouse is red.[(triple3)] The mouse visits the cow.[(triple4)] The mouse visits the rabbit.[(triple5)] The mouse visits the squirrel.[(triple6)] The rabbit needs the mouse.[(triple7)] The squirrel needs the mouse.[(triple8)] The squirrel needs the rabbit.[(triple9)] The squirrel visits the mouse.[(triple10)] @1: The rabbit eats the squirrel.[(((triple9) -> rule1))]