The bald eagle chases the dog. The bald eagle eats the dog. The bald eagle is blue. The bald eagle is green. The bald eagle is nice. The bald eagle is young. The bald eagle does not see the dog. The dog chases the bald eagle. The dog eats the bald eagle. The dog is blue. The dog is cold. The dog is green. The dog is not nice. The dog is not young. The dog sees the bald eagle. If something chases the bald eagle then it is cold. If something is blue then it is green.
The dog chases the bald eagle.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle does not see the dog.[(triple7)] The bald eagle eats the dog.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is green.[(triple4 OR ((triple3) -> rule2))] The bald eagle is nice.[(triple5)] The bald eagle is young.[(triple6)] The dog chases the bald eagle.[(triple8)] The dog eats the bald eagle.[(triple9)] The dog is blue.[(triple10)] The dog is cold.[(triple11 OR ((triple8) -> rule1))] The dog is green.[(triple12 OR ((triple10) -> rule2))] The dog is not nice.[(triple13)] The dog is not young.[(triple14)] The dog sees the bald eagle.[(triple15)]