The dog visits the mouse. The mouse is red. The mouse is round. If something eats the dog then it eats the mouse. If something eats the dog and it eats the mouse then it visits the mouse. If something visits the mouse then the mouse eats the dog.
The mouse visits the mouse.
@0: The dog visits the mouse.[(triple1)] The mouse is red.[(triple2)] The mouse is round.[(triple3)] @1: The mouse eats the dog.[(((triple1) -> rule3))] @2: The mouse eats the mouse.[(((((triple1) -> rule3)) -> rule1))] @3: The mouse visits the mouse.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule1)) -> rule2))]