The dog chases the tiger. The dog is big. The dog likes the tiger. The dog visits the tiger. The tiger is cold. The tiger does not like the dog. The tiger visits the dog. If someone chases the dog and the dog does not like the tiger then they are cold. If someone likes the dog then they are cold. If someone likes the dog and they chase the tiger then they do not chase the dog. If someone likes the tiger then they like the dog. If someone chases the dog and the dog is rough then they chase the tiger. If someone chases the dog then they chase the tiger. If someone likes the dog then the dog is not rough. If someone chases the tiger and they are big then they visit the dog.
The tiger does not chase the tiger.
@0: The dog chases the tiger.[(triple1)] The dog is big.[(triple2)] The dog likes the tiger.[(triple3)] The dog visits the tiger.[(triple4)] The tiger does not like the dog.[(triple6)] The tiger is cold.[(triple5)] The tiger visits the dog.[(triple7)] @1: The dog likes the dog.[(((triple3) -> rule4))] The dog visits the dog.[(((triple1 triple2) -> rule8))] @2: The dog does not chase the dog.[(((((triple3) -> rule4) triple1) -> rule3))] The dog is cold.[(((((triple3) -> rule4)) -> rule2))] The dog is not rough.[(((((triple3) -> rule4)) -> rule7))]