The mouse eats the rabbit. The rabbit is round. The rabbit visits the mouse. If someone visits the mouse then they visit the rabbit.
The mouse does not visit the rabbit.
@0: The mouse eats the rabbit.[(triple1)] The rabbit is round.[(triple2)] The rabbit visits the mouse.[(triple3)] @1: The rabbit visits the rabbit.[(((triple3) -> rule1))]