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