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