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 kind. The bald eagle is nice. The bald eagle is young. The bald eagle sees 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 kind. The dog is nice. The dog is young. The dog sees the bald eagle. If someone eats the bald eagle then the bald eagle chases the dog.
The dog does not eat the bald eagle.
@0: The bald eagle chases the dog.[(triple1 OR ((triple10) -> rule1))] The bald eagle eats the dog.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is kind.[(triple5)] The bald eagle is nice.[(triple6)] The bald eagle is young.[(triple7)] The bald eagle sees 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 kind.[(triple13)] The dog is nice.[(triple14)] The dog is young.[(triple15)] The dog sees the bald eagle.[(triple16)]