The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle eats the cow. The bald eagle eats the dog. The bald eagle is kind. The bear chases the dog. The bear eats the dog. The bear is nice. The cow eats the bald eagle. The cow is kind. The cow likes the dog. The dog chases the bald eagle. The dog eats the bald eagle. The dog eats the cow. The dog likes the bald eagle. If something chases the cow then it is blue. If something chases the bald eagle then the bald eagle is kind. If something likes the cow and it chases the dog then the dog is nice.
The dog does not like the bald eagle.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle eats the cow.[(triple3)] The bald eagle eats the dog.[(triple4)] The bald eagle is kind.[(triple5 OR ((triple12) -> rule2))] The bear chases the dog.[(triple6)] The bear eats the dog.[(triple7)] The bear is nice.[(triple8)] The cow eats the bald eagle.[(triple9)] The cow is kind.[(triple10)] The cow likes the dog.[(triple11)] The dog chases the bald eagle.[(triple12)] The dog eats the bald eagle.[(triple13)] The dog eats the cow.[(triple14)] The dog likes the bald eagle.[(triple15)]