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