The bald eagle chases the squirrel. The bald eagle chases the tiger. The bald eagle eats the dog. The bald eagle eats the squirrel. The bald eagle is red. The bald eagle needs the dog. The bald eagle needs the tiger. The dog eats the squirrel. The dog is big. The dog is green. The dog needs the bald eagle. The squirrel eats the bald eagle. The squirrel is young. The tiger eats the bald eagle. The tiger is blue. The tiger needs the bald eagle. If the tiger chases the bald eagle then the tiger eats the dog. If someone needs the tiger then the tiger chases the dog. If someone needs the tiger then they are red. If someone needs the squirrel and they eat the dog then the dog chases the squirrel. If someone is big and red then they eat the bald eagle. If someone is blue and they chase the squirrel then they eat the bald eagle. If someone chases the bald eagle and the bald eagle is green then the bald eagle needs the tiger. If someone eats the dog and they are green then they chase the tiger.
The tiger does not chase the tiger.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle eats the dog.[(triple3)] The bald eagle eats the squirrel.[(triple4)] The bald eagle is red.[(triple5 OR ((triple7) -> rule3))] The bald eagle needs the dog.[(triple6)] The bald eagle needs the tiger.[(triple7)] The dog eats the squirrel.[(triple8)] The dog is big.[(triple9)] The dog is green.[(triple10)] The dog needs the bald eagle.[(triple11)] The squirrel eats the bald eagle.[(triple12)] The squirrel is young.[(triple13)] The tiger eats the bald eagle.[(triple14)] The tiger is blue.[(triple15)] The tiger needs the bald eagle.[(triple16)] @1: The tiger chases the dog.[(((triple7) -> rule2))]