The cat eats the lion. The lion needs the mouse. The mouse visits the lion. If something visits the lion then it is nice. If something eats the cat then it visits the cat. If something eats the cat and the cat visits the mouse then the mouse does not eat the lion. If something needs the lion and it visits the cat then the cat visits the mouse. If something is rough then it needs the cat. If something needs the mouse then it needs the cat. If something needs the cat then the cat is rough. If something eats the lion then the lion needs the cat.
The lion eats the mouse.
@0: The cat eats the lion.[(triple1)] The lion needs the mouse.[(triple2)] The mouse visits the lion.[(triple3)] @1: The lion needs the cat.[(((triple1) -> rule8) OR ((triple2) -> rule6))] The mouse is nice.[(((triple3) -> rule1))] @2: The cat is rough.[(((((triple1) -> rule8)) -> rule7) OR ((((triple2) -> rule6)) -> rule7))] @3: The cat needs the cat.[(((((((triple1) -> rule8)) -> rule7)) -> rule5) OR ((((((triple2) -> rule6)) -> rule7)) -> rule5))]