The dog needs the mouse. The mouse chases the dog. If something is red and it needs the mouse then it chases the dog. If something chases the dog then it needs the mouse. If something needs the mouse then it chases the mouse. If the dog needs the mouse then the mouse chases the dog. If something eats the dog and the dog is kind then the dog eats the mouse. If something is round and it needs the dog then the dog eats the mouse. If something eats the dog and it needs the dog then the dog is big. If something needs the mouse then the mouse is blue.
The mouse does not chase the mouse.
@0: The dog needs the mouse.[(triple1)] The mouse chases the dog.[(triple2 OR ((triple1) -> rule4))] @1: The dog chases the mouse.[(((triple1) -> rule3))] The mouse is blue.[(((triple1) -> rule8) OR ((((triple2) -> rule2)) -> rule8) OR ((((((triple1) -> rule4)) -> rule2)) -> rule8))] The mouse needs the mouse.[(((triple2) -> rule2) OR ((((triple1) -> rule4)) -> rule2))] @2: The mouse chases the mouse.[(((((triple2) -> rule2)) -> rule3) OR ((((((triple1) -> rule4)) -> rule2)) -> rule3))]