The cow chases the mouse. The cow is round. The mouse chases the cow. If someone is round then they visit the mouse. If someone visits the cow then they see the mouse. If someone chases the mouse and they visit the mouse then the mouse visits the cow. If someone sees the mouse then the mouse is not nice. If someone visits the cow then they see the cow. If someone chases the mouse then the mouse sees the cow. If someone chases the cow and they are cold then the cow visits the mouse. If the cow is not big then the cow is nice.
The mouse does not chase the cow.
@0: The cow chases the mouse.[(triple1)] The cow is round.[(triple2)] The mouse chases the cow.[(triple3)] @1: The cow visits the mouse.[(((triple2) -> rule1))] The mouse sees the cow.[(((triple1) -> rule6) OR ((((triple1 ((triple2) -> rule1)) -> rule3)) -> rule5))] @2: The mouse visits the cow.[(((triple1 ((triple2) -> rule1)) -> rule3))] @3: The mouse sees the mouse.[(((((triple1 ((triple2) -> rule1)) -> rule3)) -> rule2))] @4: The mouse is not nice.[(((((((triple1 ((triple2) -> rule1)) -> rule3)) -> rule2)) -> rule4))]