The cow visits the mouse. The mouse sees the rabbit. The rabbit visits the squirrel. The squirrel eats the mouse. If someone sees the rabbit then the rabbit does not eat the mouse.
The rabbit does not visit the squirrel.
@0: The cow visits the mouse.[(triple1)] The mouse sees the rabbit.[(triple2)] The rabbit visits the squirrel.[(triple3)] The squirrel eats the mouse.[(triple4)] @1: The rabbit does not eat the mouse.[(((triple2) -> rule1))]