The dog chases the tiger. The dog is big. The dog is cold. The dog is not red. The dog does not need the tiger. The tiger chases the dog. The tiger is not big. The tiger is not red. The tiger does not need the dog. The tiger visits the dog. If something visits the dog and the dog chases the tiger then it is nice. If the dog visits the tiger then the tiger does not need the dog. If something needs the tiger then it chases the tiger. If something is cold and it visits the dog then it chases the tiger. If something needs the dog and the dog visits the tiger then it visits the dog. If something is nice then it needs the tiger.
The tiger does not chase the tiger.
@0: The dog chases the tiger.[(triple1)] The dog does not need the tiger.[(triple5)] The dog is big.[(triple2)] The dog is cold.[(triple3)] The dog is not red.[(triple4)] The tiger chases the dog.[(triple6)] The tiger does not need the dog.[(triple9)] The tiger is not big.[(triple7)] The tiger is not red.[(triple8)] The tiger visits the dog.[(triple10)] @1: The tiger is nice.[(((triple10 triple1) -> rule1))] @2: The tiger needs the tiger.[(((((triple10 triple1) -> rule1)) -> rule6))] @3: The tiger chases the tiger.[(((((((triple10 triple1) -> rule1)) -> rule6)) -> rule3))]