The bald eagle eats the dog. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle is red. The bald eagle is young. The bald eagle likes the dog. The bald eagle needs the dog. The dog eats the bald eagle. The dog is cold. The dog is green. The dog is nice. The dog is red. The dog is young. The dog likes the bald eagle. The dog needs the bald eagle. If something eats the bald eagle then it eats the dog. If something needs the dog and the dog likes the bald eagle then the dog eats the bald eagle. If something needs the dog then the dog likes the bald eagle.
The dog does not need the dog.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle likes the dog.[(triple7)] The bald eagle needs the dog.[(triple8)] The dog eats the bald eagle.[(triple9 OR ((triple8 triple15) -> rule2) OR ((triple8 ((triple8) -> rule3)) -> rule2))] The dog is cold.[(triple10)] The dog is green.[(triple11)] The dog is nice.[(triple12)] The dog is red.[(triple13)] The dog is young.[(triple14)] The dog likes the bald eagle.[(triple15 OR ((triple8) -> rule3))] The dog needs the bald eagle.[(triple16)] @1: The dog eats the dog.[(((triple9) -> rule1) OR ((((triple8 triple15) -> rule2)) -> rule1) OR ((((triple8 ((triple8) -> rule3)) -> rule2)) -> rule1))]