The bald eagle is nice. The bald eagle is young. The bald eagle sees the bear. The bald eagle visits the bear. The bear is rough. The bear sees the bald eagle. The bear visits the dog. The dog is nice. The dog sees the bald eagle. The dog visits the bear. If something eats the dog then it is nice. If the bald eagle is red then the bald eagle eats the dog. If something visits the bear then the bear sees the dog.
The bald eagle does not eat the dog.
@0: The bald eagle is nice.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle sees the bear.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear is rough.[(triple5)] The bear sees the bald eagle.[(triple6)] The bear visits the dog.[(triple7)] The dog is nice.[(triple8)] The dog sees the bald eagle.[(triple9)] The dog visits the bear.[(triple10)] @1: The bear sees the dog.[(((triple10) -> rule3) OR ((triple4) -> rule3))]