The bald eagle is blue. The bald eagle is rough. The bear eats the bald eagle. The bear needs the bald eagle. The bear needs the dog. 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 bear. If something sees the bald eagle then it is young. If something needs the dog then it needs the bald eagle.
The dog is not young.
@0: The bald eagle is blue.[(triple1)] The bald eagle is rough.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear needs the bald eagle.[(triple4 OR ((triple5) -> rule2))] The bear needs the dog.[(triple5)] The bear sees the bald eagle.[(triple6)] The bear sees the dog.[(triple7)] The dog eats the bald eagle.[(triple8)] The dog is blue.[(triple9)] The dog needs the bear.[(triple10)] @1: The bear is young.[(((triple6) -> rule1))]