The bald eagle does not eat the dog. The bald eagle is cold. The bald eagle is not green. The bald eagle is red. The bald eagle is rough. The bald eagle is young. The bald eagle likes the dog. The bald eagle visits the dog. The dog eats the bald eagle. The dog is cold. The dog is green. The dog is red. The dog is rough. The dog is young. The dog likes the bald eagle. The dog visits the bald eagle. If the bald eagle likes the dog and the bald eagle does not eat the dog then the bald eagle is cold. If the bald eagle visits the dog and the bald eagle does not eat the dog then the bald eagle is young. If someone is young and they visit the dog then the dog likes the bald eagle. If someone likes the dog then they do not eat the bald eagle. If someone likes the bald eagle then they visit the bald eagle. If someone eats the dog then the dog does not visit the bald eagle. If someone visits the bald eagle and they eat the bald eagle then the bald eagle visits the dog. If the bald eagle does not visit the dog then the dog is cold.
The dog is not green.
@0: The bald eagle does not eat the dog.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple7 triple1) -> rule1))] The bald eagle is not green.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is young.[(triple6 OR ((triple8 triple1) -> rule2) OR ((((triple16 triple9) -> rule7) triple1) -> rule2) OR ((((((triple15) -> rule5) triple9) -> rule7) triple1) -> rule2))] The bald eagle likes the dog.[(triple7)] The bald eagle visits the dog.[(triple8 OR ((triple16 triple9) -> rule7) OR ((((triple15) -> rule5) triple9) -> rule7))] The dog eats the bald eagle.[(triple9)] The dog is cold.[(triple10)] The dog is green.[(triple11)] The dog is red.[(triple12)] The dog is rough.[(triple13)] The dog is young.[(triple14)] The dog likes the bald eagle.[(triple15 OR ((triple6 triple8) -> rule3) OR ((triple6 ((triple16 triple9) -> rule7)) -> rule3) OR ((((triple8 triple1) -> rule2) triple8) -> rule3) OR ((((triple8 triple1) -> rule2) ((triple16 triple9) -> rule7)) -> rule3) OR ((((((triple16 triple9) -> rule7) triple1) -> rule2) triple8) -> rule3) OR ((((((triple16 triple9) -> rule7) triple1) -> rule2) ((triple16 triple9) -> rule7)) -> rule3))] The dog visits the bald eagle.[(triple16 OR ((triple15) -> rule5) OR ((((triple6 triple8) -> rule3)) -> rule5) OR ((((((triple8 triple1) -> rule2) triple8) -> rule3)) -> rule5))] @1: The bald eagle does not eat the bald eagle.[(((triple7) -> rule4))]