The bald eagle does not chase the bear. The bald eagle eats the bear. The bald eagle eats the dog. The bald eagle is blue. The bald eagle needs the dog. The bear eats the dog. The bear is not blue. The bear needs the dog. The dog eats the bear. The dog needs the bear. If someone needs the bald eagle and the bald eagle chases the dog then the bald eagle is nice. If someone eats the bald eagle then the bald eagle is nice. If someone chases the dog and they are round then they do not need the bear. If someone needs the dog and they eat the bear then the dog chases the bald eagle. If someone needs the bear and they are not blue then they are round. If someone needs the bear and they are not blue then they do not eat the bald eagle. Blue people are not red. If someone chases the bear and the bear needs the dog then the bear is round.
The dog is nice.
@0: The bald eagle does not chase the bear.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle eats the dog.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle needs the dog.[(triple5)] The bear eats the dog.[(triple6)] The bear is not blue.[(triple7)] The bear needs the dog.[(triple8)] The dog eats the bear.[(triple9)] The dog needs the bear.[(triple10)] @1: The bald eagle is not red.[(((triple4) -> rule7))] The dog chases the bald eagle.[(((triple5 triple2) -> rule4))]