The cat visits the rabbit. The lion eats the rabbit. The mouse eats the cat. The mouse is rough. The mouse sees the rabbit. The rabbit eats the mouse. The rabbit visits the cat. If something eats the mouse then it sees the rabbit.
The lion does not see the rabbit.
@0: The cat visits the rabbit.[(triple1)] The lion eats the rabbit.[(triple2)] The mouse eats the cat.[(triple3)] The mouse is rough.[(triple4)] The mouse sees the rabbit.[(triple5)] The rabbit eats the mouse.[(triple6)] The rabbit visits the cat.[(triple7)] @1: The rabbit sees the rabbit.[(((triple6) -> rule1))]