The bald eagle eats the bear. The bald eagle sees the bear. The bear is green. The bear sees the bald eagle. The bear sees the dog. The dog eats the bald eagle. The dog is blue. The dog needs the bald eagle. The dog sees the bald eagle. The dog sees the bear. If the bald eagle sees the bear then the bear is blue. If something is blue and it needs the dog then it needs the bald eagle. If something sees the bear and it needs the dog then the bear eats the bald eagle. If something needs the dog then the dog needs the bald eagle. If something sees the bald eagle then it needs the bald eagle. If something is green then it needs the bear. If something is green and it sees the dog then it sees the bald eagle. If something needs the bear and it eats the bear then the bear sees the dog.
The bear does not see the bald eagle.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle sees the bear.[(triple2)] The bear is green.[(triple3)] The bear sees the bald eagle.[(triple4 OR ((triple3 triple5) -> rule7))] The bear sees the dog.[(triple5)] The dog eats the bald eagle.[(triple6)] The dog is blue.[(triple7)] The dog needs the bald eagle.[(triple8 OR ((triple9) -> rule5))] The dog sees the bald eagle.[(triple9)] The dog sees the bear.[(triple10)] @1: The bear is blue.[(((triple2) -> rule1))] The bear needs the bald eagle.[(((triple4) -> rule5) OR ((((triple3 triple5) -> rule7)) -> rule5))] The bear needs the bear.[(((triple3) -> rule6))]