The cat needs the mouse. The dog chases the cat. The mouse chases the cat. If something visits the dog then it does not need the cat. If something chases the cat then the cat chases the mouse. If something chases the mouse and the mouse is big then the mouse visits the dog. If something chases the mouse then the mouse visits the dog. If something chases the mouse and it needs the dog then the mouse chases the cat. If something visits the mouse and it is big then it chases the cat. If something is red and it needs the cat then the cat does not need the dog. If something chases the cat then the cat does not visit the dog.
The mouse needs the cat.
@0: The cat needs the mouse.[(triple1)] The dog chases the cat.[(triple2)] The mouse chases the cat.[(triple3)] @1: The cat chases the mouse.[(((triple2) -> rule2) OR ((triple3) -> rule2))] The cat does not visit the dog.[(((triple2) -> rule8) OR ((triple3) -> rule8))] @2: The mouse visits the dog.[(((((triple2) -> rule2)) -> rule4) OR ((((triple3) -> rule2)) -> rule4))] @3: The mouse does not need the cat.[(((((((triple2) -> rule2)) -> rule4)) -> rule1) OR ((((((triple3) -> rule2)) -> rule4)) -> rule1))]