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 rabbit visits the mouse.
@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))]