The bald eagle does not visit the cow. The bear needs the cow. The cow is nice. If the cow visits the bear and the cow likes the bald eagle then the bear does not need the cow. If something visits the cow then the cow is not big. If something likes the bald eagle then the bald eagle needs the cow. If something visits the cow then the cow does not need the bald eagle. If something needs the cow then it likes the bald eagle. All green things are nice. If something visits the bear then it is nice. If something is blue and it does not need the bald eagle then the bald eagle is green.
The bald eagle does not like the bald eagle.
@0: The bald eagle does not visit the cow.[(triple1)] The bear needs the cow.[(triple2)] The cow is nice.[(triple3)] @1: The bear likes the bald eagle.[(((triple2) -> rule5))] @2: The bald eagle needs the cow.[(((((triple2) -> rule5)) -> rule3))] @3: The bald eagle likes the bald eagle.[(((((((triple2) -> rule5)) -> rule3)) -> rule5))]