The cow eats the squirrel. The mouse is nice. The squirrel likes the cow. The tiger is round. If something visits the mouse then it eats the tiger. If something is nice then it visits the cow. If something likes the tiger and the tiger likes the mouse then the mouse visits the cow.
The cow does not eat the tiger.
@0: The cow eats the squirrel.[(triple1)] The mouse is nice.[(triple2)] The squirrel likes the cow.[(triple3)] The tiger is round.[(triple4)] @1: The mouse visits the cow.[(((triple2) -> rule2))]