The dog chases the tiger. The dog needs the tiger. The tiger visits the dog. If something needs the tiger then it chases the dog. If something needs the dog and the dog is kind then it is blue. If something needs the tiger then it chases the tiger. If something is big and it needs the dog then it needs the tiger. If something chases the tiger and it visits the dog then the tiger is blue. If something visits the dog then the dog needs the tiger.
The dog is kind.
@0: The dog chases the tiger.[(triple1 OR ((triple2) -> rule3) OR ((((triple3) -> rule6)) -> rule3))] The dog needs the tiger.[(triple2 OR ((triple3) -> rule6))] The tiger visits the dog.[(triple3)] @1: The dog chases the dog.[(((triple2) -> rule1) OR ((((triple3) -> rule6)) -> rule1))]