The cow eats the mouse. The lion visits the cow. The mouse eats the lion. The rabbit sees the mouse. If someone visits the mouse and they are round then the mouse does not visit the cow. If someone sees the mouse then the mouse does not see the cow. If the lion sees the mouse and the cow does not eat the lion then the lion does not see the cow.
The rabbit does not see the mouse.
@0: The cow eats the mouse.[(triple1)] The lion visits the cow.[(triple2)] The mouse eats the lion.[(triple3)] The rabbit sees the mouse.[(triple4)] @1: The mouse does not see the cow.[(((triple4) -> rule2))]