The cat visits the cow. The cow is young. The mouse likes the rabbit. The rabbit likes the mouse. If something chases the mouse then the mouse chases the cow. If something likes the cow and the cow likes the cat then the cat likes the mouse. If something likes the cow then it visits the cat. If something visits the mouse and the mouse likes the cat then the mouse chases the cat. If something likes the rabbit then the rabbit chases the mouse. If something visits the mouse and the mouse is rough then it chases the mouse.
The cow visits the cat.
@0: The cat visits the cow.[(triple1)] The cow is young.[(triple2)] The mouse likes the rabbit.[(triple3)] The rabbit likes the mouse.[(triple4)] @1: The rabbit chases the mouse.[(((triple3) -> rule5))] @2: The mouse chases the cow.[(((((triple3) -> rule5)) -> rule1))]