The dog chases the tiger. The dog does not eat the tiger. The dog is big. The dog is kind. The dog is nice. The dog sees the tiger. The tiger does not chase the dog. The tiger does not eat the dog. The tiger is rough. The tiger sees the dog. If something sees the dog and the dog eats the tiger then it chases the tiger. If something is nice then it does not eat the dog.
The tiger is big.
@0: The dog chases the tiger.[(triple1)] The dog does not eat the tiger.[(triple2)] The dog is big.[(triple3)] The dog is kind.[(triple4)] The dog is nice.[(triple5)] The dog sees the tiger.[(triple6)] The tiger does not chase the dog.[(triple7)] The tiger does not eat the dog.[(triple8)] The tiger is rough.[(triple9)] The tiger sees the dog.[(triple10)] @1: The dog does not eat the dog.[(((triple5) -> rule2))]