The dog visits the tiger. The tiger eats the dog. If the tiger visits the dog and the dog chases the tiger then the dog is big. If the tiger is cold then the tiger does not chase the dog. If something visits the tiger and the tiger eats the dog then it eats the tiger. If something chases the tiger then it visits the dog. If something is big and not kind then it does not visit the dog. If the tiger is kind and the tiger visits the dog then the dog does not chase the tiger. If something eats the dog then the dog chases the tiger. If something is kind and it eats the dog then it chases the tiger.
The dog visits the dog.
@0: The dog visits the tiger.[(triple1)] The tiger eats the dog.[(triple2)] @1: The dog chases the tiger.[(((triple2) -> rule7))] The dog eats the tiger.[(((triple1 triple2) -> rule3))] @2: The dog visits the dog.[(((((triple2) -> rule7)) -> rule4))]