The cow eats the mouse. The cow visits the mouse. The mouse likes the cow. If someone likes the cow then the cow likes the mouse. If the mouse likes the cow and the cow visits the mouse then the mouse eats the cow. If the mouse eats the cow and the mouse visits the cow then the mouse likes the cow. If someone likes the mouse and the mouse is rough then they like the cow. If someone likes the mouse then the mouse visits the cow. If someone visits the cow then the cow is rough.
The cow likes the mouse.
@0: The cow eats the mouse.[(triple1)] The cow visits the mouse.[(triple2)] The mouse likes the cow.[(triple3)] @1: The cow likes the mouse.[(((triple3) -> rule1))] The mouse eats the cow.[(((triple3 triple2) -> rule2))] @2: The mouse visits the cow.[(((((triple3) -> rule1)) -> rule5))] @3: The cow is rough.[(((((((triple3) -> rule1)) -> rule5)) -> rule6))]