The bald eagle eats the dog. The bald eagle is big. The bald eagle is not blue. The bald eagle is nice. The bald eagle is not red. The bald eagle is young. The bald eagle needs the dog. The bald eagle visits the dog. The dog does not eat the bald eagle. The dog is big. The dog is blue. The dog is nice. The dog is not red. The dog is young. The dog needs the bald eagle. The dog does not visit the bald eagle. If the bald eagle needs the dog then the dog is blue. If someone is red and big then they need the bald eagle. If someone is red and big then they do not visit the bald eagle. If someone visits the bald eagle then they are blue. If someone needs the bald eagle and they do not eat the dog then they visit the dog. If someone needs the dog and the dog is nice then the dog is not red.
The dog is big.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is nice.[(triple4)] The bald eagle is not blue.[(triple3)] The bald eagle is not red.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the dog.[(triple7)] The bald eagle visits the dog.[(triple8)] The dog does not eat the bald eagle.[(triple9)] The dog does not visit the bald eagle.[(triple16)] The dog is big.[(triple10)] The dog is blue.[(triple11 OR ((triple7) -> rule1))] The dog is nice.[(triple12)] The dog is not red.[(triple13 OR ((triple7 triple12) -> rule6))] The dog is young.[(triple14)] The dog needs the bald eagle.[(triple15)]