The cow likes the mouse. The mouse likes the cow. The squirrel chases the cow. The tiger eats the mouse. If something eats the cow then the cow eats the mouse. If something eats the mouse then the mouse does not like the tiger. If the cow eats the mouse then the mouse is big.
The mouse does not like the tiger.
@0: The cow likes the mouse.[(triple1)] The mouse likes the cow.[(triple2)] The squirrel chases the cow.[(triple3)] The tiger eats the mouse.[(triple4)] @1: The mouse does not like the tiger.[(((triple4) -> rule2))]