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