The cow eats the lion. The lion visits the mouse. The mouse is big. If something chases the cow then the cow chases the mouse. If something chases the mouse then the mouse chases the cow. If something visits the mouse then it chases the mouse.
The lion is not round.
@0: The cow eats the lion.[(triple1)] The lion visits the mouse.[(triple2)] The mouse is big.[(triple3)] @1: The lion chases the mouse.[(((triple2) -> rule3))] @2: The mouse chases the cow.[(((((triple2) -> rule3)) -> rule2))] @3: The cow chases the mouse.[(((((((triple2) -> rule3)) -> rule2)) -> rule1))]