The bald eagle eats the dog. The bald eagle is big. The bald eagle is nice. The bald eagle is rough. The bald eagle is young. The bald eagle needs the dog. The bald eagle visits the dog. The dog eats the bald eagle. The dog is big. The dog is blue. The dog is nice. The dog is rough. The dog is young. The dog needs the bald eagle. The dog visits the bald eagle. If something visits the dog then the dog needs the bald eagle. If the dog needs the bald eagle then the dog eats the bald eagle. If the dog eats the bald eagle then the bald eagle visits the dog. If something needs the bald eagle and the bald eagle eats the dog then the dog eats the bald eagle. If something eats the bald eagle then it is rough. If something needs the dog then the dog eats the bald eagle.
The dog does not eat the bald eagle.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle needs the dog.[(triple6)] The bald eagle visits the dog.[(triple7 OR ((triple8) -> rule3) OR ((((triple14) -> rule2)) -> rule3) OR ((((triple6) -> rule6)) -> rule3) OR ((((triple14 triple1) -> rule4)) -> rule3))] The dog eats the bald eagle.[(triple8 OR ((triple14) -> rule2) OR ((triple6) -> rule6) OR ((triple14 triple1) -> rule4) OR ((((triple7) -> rule1)) -> rule2) OR ((((triple7) -> rule1) triple1) -> rule4))] The dog is big.[(triple9)] The dog is blue.[(triple10)] The dog is nice.[(triple11)] The dog is rough.[(triple12 OR ((triple8) -> rule5) OR ((((triple14) -> rule2)) -> rule5) OR ((((triple6) -> rule6)) -> rule5) OR ((((triple14 triple1) -> rule4)) -> rule5) OR ((((((triple7) -> rule1)) -> rule2)) -> rule5) OR ((((((triple7) -> rule1) triple1) -> rule4)) -> rule5))] The dog is young.[(triple13)] The dog needs the bald eagle.[(triple14 OR ((triple7) -> rule1) OR ((((triple8) -> rule3)) -> rule1) OR ((((((triple6) -> rule6)) -> rule3)) -> rule1))] The dog visits the bald eagle.[(triple15)]