The bald eagle chases the bear. The bald eagle chases the rabbit. The bald eagle is cold. The bald eagle is green. The bald eagle needs the dog. The bear chases the dog. The bear eats the rabbit. The bear is blue. The dog is blue. The dog needs the bear. The rabbit chases the dog. The rabbit eats the bald eagle. The rabbit eats the bear. The rabbit needs the bald eagle. The rabbit does not need the bear. The rabbit needs the dog. If the dog eats the bear then the bear is rough. If the bear chases the dog then the bear eats the dog. If someone eats the dog then they eat the bald eagle. If someone needs the bald eagle and the bald eagle does not eat the bear then the bear is not green. If someone needs the bear then they need the rabbit. If someone needs the dog then the dog does not eat the bald eagle.
The dog does not need the bear.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle needs the dog.[(triple5)] The bear chases the dog.[(triple6)] The bear eats the rabbit.[(triple7)] The bear is blue.[(triple8)] The dog is blue.[(triple9)] The dog needs the bear.[(triple10)] The rabbit chases the dog.[(triple11)] The rabbit does not need the bear.[(triple15)] The rabbit eats the bald eagle.[(triple12)] The rabbit eats the bear.[(triple13)] The rabbit needs the bald eagle.[(triple14)] The rabbit needs the dog.[(triple16)] @1: The bear eats the dog.[(((triple6) -> rule2))] The dog does not eat the bald eagle.[(((triple16) -> rule6) OR ((triple5) -> rule6))] The dog needs the rabbit.[(((triple10) -> rule5))] @2: The bear eats the bald eagle.[(((((triple6) -> rule2)) -> rule3))]