The cat eats the tiger. The cat is big. The cat is blue. The cat is nice. The cat is rough. The cat is young. The cat needs the tiger. The cat sees the tiger. The tiger does not eat the cat. The tiger is not big. The tiger is not blue. The tiger is nice. The tiger is not rough. The tiger is young. The tiger needs the cat. The tiger sees the cat. If someone is big then they see the cat. If someone needs the cat and they see the cat then they do not eat the tiger. If the tiger is blue then the tiger is rough.
The cat needs the cat.
@0: The cat eats the tiger.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is nice.[(triple4)] The cat is rough.[(triple5)] The cat is young.[(triple6)] The cat needs the tiger.[(triple7)] The cat sees the tiger.[(triple8)] The tiger does not eat the cat.[(triple9)] The tiger is nice.[(triple12)] The tiger is not big.[(triple10)] The tiger is not blue.[(triple11)] The tiger is not rough.[(triple13)] The tiger is young.[(triple14)] The tiger needs the cat.[(triple15)] The tiger sees the cat.[(triple16)] @1: The cat sees the cat.[(((triple2) -> rule1))] The tiger does not eat the tiger.[(((triple15 triple16) -> rule2))]