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