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