The mouse visits the rabbit. The rabbit visits the mouse. If the rabbit sees the mouse and the rabbit does not eat the mouse then the mouse sees the rabbit. If someone visits the mouse then the mouse sees the rabbit. If someone eats the mouse then the mouse does not see the rabbit.
The mouse eats the rabbit.
@0: The mouse visits the rabbit.[(triple1)] The rabbit visits the mouse.[(triple2)] @1: The mouse sees the rabbit.[(((triple2) -> rule2))]