The cat needs the mouse. The cat visits the mouse. The mouse needs the cat. If something chases the mouse and the mouse needs the cat then it visits the mouse. If something is green then it needs the mouse. If something chases the cat and the cat chases the mouse then it visits the cat. If something visits the mouse then it visits the cat. If something visits the cat then it needs the cat. If something chases the mouse then it visits the cat. If something chases the cat then the cat visits the mouse. If something needs the mouse then the mouse chases the cat.
The cat needs the mouse.
@0: The cat needs the mouse.[(triple1)] The cat visits the mouse.[(triple2 OR ((((triple1) -> rule8)) -> rule7))] The mouse needs the cat.[(triple3)] @1: The cat visits the cat.[(((triple2) -> rule4) OR ((((((triple1) -> rule8)) -> rule7)) -> rule4))] The mouse chases the cat.[(((triple1) -> rule8))] @2: The cat needs the cat.[(((((triple2) -> rule4)) -> rule5) OR ((((((((triple1) -> rule8)) -> rule7)) -> rule4)) -> rule5))]