The bald eagle does not visit the cow. The cow is young. The cow visits the bald eagle. If something eats the bald eagle then the bald eagle needs the cow. If something visits the bald eagle and it does not eat the bald eagle then the bald eagle does not visit the cow. If something visits the bald eagle then it needs the cow. If something eats the bald eagle and it visits the bald eagle then it needs the bald eagle. If something needs the cow then it does not visit the cow. If something eats the cow then it is green.
The cow does not need the cow.
@0: The bald eagle does not visit the cow.[(triple1)] The cow is young.[(triple2)] The cow visits the bald eagle.[(triple3)] @1: The cow needs the cow.[(((triple3) -> rule3))] @2: The cow does not visit the cow.[(((((triple3) -> rule3)) -> rule5))]