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