The bald eagle is blue. The bald eagle is young. The bald eagle does not like the cow. The bald eagle does not visit the cow. The cow chases the bald eagle. The cow is big. The cow does not visit the bald eagle. If something likes the bald eagle then the bald eagle chases the cow. If something chases the bald eagle then it does not visit the bald eagle. If something likes the cow then the cow is blue. If something likes the cow and the cow chases the bald eagle then the bald eagle visits the cow. If something is young then it does not chase the bald eagle. If the bald eagle visits the cow then the cow is cold. If something likes the bald eagle and it is red then it is blue. If something is red and it does not chase the bald eagle then the bald eagle is red.
The bald eagle does not chase the cow.
@0: The bald eagle does not like the cow.[(triple3)] The bald eagle does not visit the cow.[(triple4)] The bald eagle is blue.[(triple1)] The bald eagle is young.[(triple2)] The cow chases the bald eagle.[(triple5)] The cow does not visit the bald eagle.[(triple7 OR ((triple5) -> rule2))] The cow is big.[(triple6)] @1: The bald eagle does not chase the bald eagle.[(((triple2) -> rule5))]