The cow chases the mouse. The cow needs the mouse. The mouse needs the cow. If someone is blue then they chase the mouse. If someone chases the cow then the cow eats the mouse. If someone is big and they chase the mouse then they chase the cow. If someone eats the mouse then they are blue. If the mouse eats the cow and the cow chases the mouse then the cow is kind. If the cow needs the mouse then the mouse chases the cow. If someone is young then they chase the mouse. If the mouse eats the cow and the mouse is kind then the cow is red.
The cow does not need the cow.
@0: The cow chases the mouse.[(triple1 OR ((((((((triple2) -> rule6)) -> rule2)) -> rule4)) -> rule1))] The cow needs the mouse.[(triple2)] The mouse needs the cow.[(triple3)] @1: The mouse chases the cow.[(((triple2) -> rule6))] @2: The cow eats the mouse.[(((((triple2) -> rule6)) -> rule2))] @3: The cow is blue.[(((((((triple2) -> rule6)) -> rule2)) -> rule4))]