The bald eagle chases the cow. The bald eagle visits the cow. The cow chases the bald eagle. If something chases the bald eagle then the bald eagle needs the cow. If something is red and it chases the bald eagle then it visits the bald eagle. If something visits the bald eagle and it needs the bald eagle then the bald eagle chases the cow. If something needs the bald eagle then the bald eagle needs the cow. If something visits the bald eagle then the bald eagle visits the cow. If the bald eagle chases the cow then the cow chases the bald eagle.
The bald eagle does not visit the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle visits the cow.[(triple2)] The cow chases the bald eagle.[(triple3 OR ((triple1) -> rule6))] @1: The bald eagle needs the cow.[(((triple3) -> rule1) OR ((((triple1) -> rule6)) -> rule1))]