The lion likes the mouse. The mouse is green. If someone visits the mouse then the mouse sees the lion. If someone sees the lion then the lion sees the mouse. If someone likes the mouse then they visit the mouse.
The mouse does not visit the mouse.
@0: The lion likes the mouse.[(triple1)] The mouse is green.[(triple2)] @1: The lion visits the mouse.[(((triple1) -> rule3))] @2: The mouse sees the lion.[(((((triple1) -> rule3)) -> rule1))] @3: The lion sees the mouse.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]