The bald eagle eats the dog. The bald eagle is not young. The cow does not chase the bald eagle. The cow chases the tiger. The cow does not eat the dog. The cow is cold. The cow is young. The cow does not need the dog. The dog needs the bald eagle. The tiger chases the cow. The tiger chases the dog. The tiger does not eat the cow. The tiger is red. The tiger is young. The tiger needs the bald eagle. The tiger needs the cow. If the tiger does not chase the cow then the tiger chases the bald eagle. If something needs the tiger then it chases the tiger. If something is young then it needs the cow. If the dog chases the tiger then the tiger is cold. If something eats the dog then the dog needs the tiger. If the cow eats the tiger and the cow chases the bald eagle then the bald eagle needs the dog.
The cow needs the cow.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is not young.[(triple2)] The cow chases the tiger.[(triple4)] The cow does not chase the bald eagle.[(triple3)] The cow does not eat the dog.[(triple5)] The cow does not need the dog.[(triple8)] The cow is cold.[(triple6)] The cow is young.[(triple7)] The dog needs the bald eagle.[(triple9)] The tiger chases the cow.[(triple10)] The tiger chases the dog.[(triple11)] The tiger does not eat the cow.[(triple12)] The tiger is red.[(triple13)] The tiger is young.[(triple14)] The tiger needs the bald eagle.[(triple15)] The tiger needs the cow.[(triple16 OR ((triple14) -> rule3))] @1: The cow needs the cow.[(((triple7) -> rule3))] The dog needs the tiger.[(((triple1) -> rule5))] @2: The dog chases the tiger.[(((((triple1) -> rule5)) -> rule2))] @3: The tiger is cold.[(((((((triple1) -> rule5)) -> rule2)) -> rule4))]