The bald eagle is green. The bald eagle is not kind. The bald eagle is rough. The bald eagle is round. The bald eagle is not young. The bald eagle needs the bear. The bald eagle does not see the bear. The bald eagle does not visit the bear. The bear is green. The bear is kind. The bear is not rough. The bear is round. The bear is young. The bear does not need the bald eagle. The bear sees the bald eagle. The bear visits the bald eagle. If the bald eagle visits the bear and the bear does not need the bald eagle then the bear is not round. If something sees the bald eagle then it needs the bear. If something is young and it does not need the bald eagle then the bald eagle does not visit the bear. If something is round and it does not visit the bear then it does not visit the bald eagle. If the bear visits the bald eagle then the bald eagle needs the bear. If the bear does not need the bald eagle then the bald eagle needs the bear.
The bear does not see the bear.
@0: The bald eagle does not see the bear.[(triple7)] The bald eagle does not visit the bear.[(triple8 OR ((triple13 triple14) -> rule3))] The bald eagle is green.[(triple1)] The bald eagle is not kind.[(triple2)] The bald eagle is not young.[(triple5)] The bald eagle is rough.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle needs the bear.[(triple6 OR ((triple14) -> rule6) OR ((triple16) -> rule5))] The bear does not need the bald eagle.[(triple14)] The bear is green.[(triple9)] The bear is kind.[(triple10)] The bear is not rough.[(triple11)] The bear is round.[(triple12)] The bear is young.[(triple13)] The bear sees the bald eagle.[(triple15)] The bear visits the bald eagle.[(triple16)] @1: The bald eagle does not visit the bald eagle.[(((triple4 triple8) -> rule4) OR ((triple4 ((triple13 triple14) -> rule3)) -> rule4))] The bear needs the bear.[(((triple15) -> rule2))]