The cow sees the squirrel. The mouse eats the tiger. The squirrel eats the cow. The tiger eats the mouse. If someone eats the mouse then the mouse is rough. If someone eats the mouse and the mouse is rough then the mouse eats the squirrel. If the squirrel visits the mouse then the squirrel does not see the tiger.
The cow sees the squirrel.
@0: The cow sees the squirrel.[(triple1)] The mouse eats the tiger.[(triple2)] The squirrel eats the cow.[(triple3)] The tiger eats the mouse.[(triple4)] @1: The mouse is rough.[(((triple4) -> rule1))] @2: The mouse eats the squirrel.[(((triple4 ((triple4) -> rule1)) -> rule2))]