The bald eagle is nice. The bald eagle sees the cow. The bald eagle visits the cow. The bald eagle visits the lion. The cow is nice. The cow visits the bald eagle. The lion needs the bald eagle. The lion needs the cow. The lion does not see the cow. The lion does not visit the cow. If the lion does not visit the bald eagle then the lion needs the cow. If something sees the lion then the lion needs the cow. If something visits the cow and the cow does not need the bald eagle then the bald eagle is young. If something needs the bald eagle and the bald eagle visits the cow then the bald eagle sees the lion. If something is young and it sees the cow then the cow is not nice. If something sees the bald eagle and it is not green then the bald eagle does not need the lion.
The bald eagle is not young.
@0: The bald eagle is nice.[(triple1)] The bald eagle sees the cow.[(triple2)] The bald eagle visits the cow.[(triple3)] The bald eagle visits the lion.[(triple4)] The cow is nice.[(triple5)] The cow visits the bald eagle.[(triple6)] The lion does not see the cow.[(triple9)] The lion does not visit the cow.[(triple10)] The lion needs the bald eagle.[(triple7)] The lion needs the cow.[(triple8 OR ((((triple7 triple3) -> rule4)) -> rule2))] @1: The bald eagle sees the lion.[(((triple7 triple3) -> rule4))]