The bald eagle eats the dog. The bald eagle is not big. The bear eats the dog. The bear is round. The bear does not need the bald eagle. The bear sees the bald eagle. The dog does not eat the bald eagle. The dog is blue. The dog sees the bald eagle. The dog sees the bear. If something needs the dog and the dog does not see the bald eagle then the bald eagle eats the dog. All blue things are round.
The dog is blue.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is not big.[(triple2)] The bear does not need the bald eagle.[(triple5)] The bear eats the dog.[(triple3)] The bear is round.[(triple4)] The bear sees the bald eagle.[(triple6)] The dog does not eat the bald eagle.[(triple7)] The dog is blue.[(triple8)] The dog sees the bald eagle.[(triple9)] The dog sees the bear.[(triple10)] @1: The dog is round.[(((triple8) -> rule2))]