The bald eagle chases the bear. The bald eagle is young. The bald eagle needs the bear. The bald eagle needs the dog. The bear is rough. The bear needs the bald eagle. The dog is round. The dog is young. The dog sees the bald eagle. The dog does not see the bear. If the dog sees the bald eagle and the dog is not nice then the bald eagle chases the bear. If the bear is rough then the bear sees the bald eagle. If something sees the bald eagle then the bald eagle does not see the bear.
The bear needs the bear.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle needs the dog.[(triple4)] The bear is rough.[(triple5)] The bear needs the bald eagle.[(triple6)] The dog does not see the bear.[(triple10)] The dog is round.[(triple7)] The dog is young.[(triple8)] The dog sees the bald eagle.[(triple9)] @1: The bald eagle does not see the bear.[(((triple9) -> rule3) OR ((((triple5) -> rule2)) -> rule3))] The bear sees the bald eagle.[(((triple5) -> rule2))]