The bald eagle chases the cow. The bald eagle does not chase the dog. The bald eagle is big. The bald eagle needs the cow. The bald eagle needs the dog. The cow does not eat the bald eagle. The cow is blue. The cow is kind. The cow is not young. The cow needs the bald eagle. The dog needs the bald eagle. The dog does not need the cow. If someone needs the dog then the dog needs the bald eagle. If someone is blue then they eat the cow. If the cow is blue and the cow does not need the dog then the cow is cold. If the cow chases the bald eagle then the cow is cold. If someone needs the bald eagle and they do not need the cow then the bald eagle eats the dog. If someone needs the cow and they do not eat the cow then they are not big.
The bald eagle does not eat the dog.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle does not chase the dog.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle needs the cow.[(triple4)] The bald eagle needs the dog.[(triple5)] The cow does not eat the bald eagle.[(triple6)] The cow is blue.[(triple7)] The cow is kind.[(triple8)] The cow is not young.[(triple9)] The cow needs the bald eagle.[(triple10)] The dog does not need the cow.[(triple12)] The dog needs the bald eagle.[(triple11 OR ((triple5) -> rule1))] @1: The bald eagle eats the dog.[(((triple11 triple12) -> rule5) OR ((((triple5) -> rule1) triple12) -> rule5))] The cow eats the cow.[(((triple7) -> rule2))]