The bald eagle chases the tiger. The bald eagle needs the cat. The cat chases the bald eagle. The cat does not chase the tiger. The cat needs the bald eagle. The cat needs the tiger. The cat sees the tiger. The tiger chases the bald eagle. The tiger chases the cat. The tiger is big. The tiger is rough. The tiger needs the bald eagle. The tiger needs the cat. The tiger does not see the bald eagle. The tiger does not see the cat. If something sees the tiger then it is not big. If the cat is not kind and the cat is not big then the cat is round. If the cat is round and the cat does not need the bald eagle then the bald eagle chases the cat.
The bald eagle needs the tiger.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle needs the cat.[(triple2)] The cat chases the bald eagle.[(triple3)] The cat does not chase the tiger.[(triple4)] The cat needs the bald eagle.[(triple5)] The cat needs the tiger.[(triple6)] The cat sees the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger chases the cat.[(triple9)] The tiger does not see the bald eagle.[(triple14)] The tiger does not see the cat.[(triple15)] The tiger is big.[(triple10)] The tiger is rough.[(triple11)] The tiger needs the bald eagle.[(triple12)] The tiger needs the cat.[(triple13)] @1: The cat is not big.[(((triple7) -> rule1))]