The bald eagle eats the dog. The bald eagle is kind. The bald eagle is rough. The bald eagle does not need the bear. The bald eagle does not see the dog. The bear eats the bald eagle. The bear eats the dog. The bear is rough. The bear needs the dog. The dog is red. If someone sees the bald eagle then they are round. If someone needs the dog then the dog does not need the bear. If someone is kind then they eat the dog.
The dog eats the bald eagle.
@0: The bald eagle does not need the bear.[(triple4)] The bald eagle does not see the dog.[(triple5)] The bald eagle eats the dog.[(triple1 OR ((triple2) -> rule3))] The bald eagle is kind.[(triple2)] The bald eagle is rough.[(triple3)] The bear eats the bald eagle.[(triple6)] The bear eats the dog.[(triple7)] The bear is rough.[(triple8)] The bear needs the dog.[(triple9)] The dog is red.[(triple10)] @1: The dog does not need the bear.[(((triple9) -> rule2))]