The bald eagle does not eat the bear. The bald eagle is green. The bald eagle is nice. The bald eagle is rough. The bald eagle sees the bear. The bald eagle visits the bear. The bear eats the bald eagle. The bear is green. The bear sees the bald eagle. The bear visits the bald eagle. If something is nice and it sees the bear then it visits the bald eagle. If something eats the bald eagle and it is round then it does not visit the bald eagle. If the bear is nice and the bear eats the bald eagle then the bald eagle sees the bear.
The bald eagle does not see the bear.
@0: The bald eagle does not eat the bear.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle sees the bear.[(triple5)] The bald eagle visits the bear.[(triple6)] The bear eats the bald eagle.[(triple7)] The bear is green.[(triple8)] The bear sees the bald eagle.[(triple9)] The bear visits the bald eagle.[(triple10)] @1: The bald eagle visits the bald eagle.[(((triple3 triple5) -> rule1))]