The mouse eats the rabbit. The rabbit eats the mouse. The rabbit visits the mouse. If the mouse is green then the mouse visits the rabbit. If something visits the mouse and it eats the mouse then it is round.
The mouse eats the rabbit.
@0: The mouse eats the rabbit.[(triple1)] The rabbit eats the mouse.[(triple2)] The rabbit visits the mouse.[(triple3)] @1: The rabbit is round.[(((triple3 triple2) -> rule2))]