The cat chases the tiger. The cat is not big. The cat is not cold. The cat is not green. The cat is nice. The cat is round. The cat does not see the tiger. The cat visits the tiger. The tiger chases the cat. The tiger is big. The tiger is not cold. The tiger is green. The tiger is nice. The tiger is round. The tiger does not see the cat. The tiger visits the cat. If the cat sees the tiger and the tiger does not chase the cat then the cat is big. If something visits the tiger and the tiger sees the cat then it is round. If something is cold then it chases the tiger. If something is big and not cold then it chases the tiger. If something chases the cat and it visits the tiger then it does not chase the tiger. If the cat is not nice then the cat chases the tiger. If the cat is round and the cat is big then the cat does not chase the tiger. If something sees the tiger then the tiger is not green.
The tiger visits the tiger.
@0: The cat chases the tiger.[(triple1)] The cat does not see the tiger.[(triple7)] The cat is nice.[(triple5)] The cat is not big.[(triple2)] The cat is not cold.[(triple3)] The cat is not green.[(triple4)] The cat is round.[(triple6)] The cat visits the tiger.[(triple8)] The tiger chases the cat.[(triple9)] The tiger does not see the cat.[(triple15)] The tiger is big.[(triple10)] The tiger is green.[(triple12)] The tiger is nice.[(triple13)] The tiger is not cold.[(triple11)] The tiger is round.[(triple14)] The tiger visits the cat.[(triple16)] @1: The tiger chases the tiger.[(((triple10 triple11) -> rule4))]