The bald eagle does not eat the bear. The bald eagle eats the cow. The bald eagle eats the dog. The bald eagle is blue. The bald eagle likes the cow. The bald eagle likes the dog. The bald eagle sees the bear. The bear eats the bald eagle. The bear eats the dog. The bear is young. The bear sees the cow. The cow eats the bear. The cow does not like the bear. The cow sees the dog. The dog is cold. The dog does not see the bald eagle. If someone eats the dog and they do not see the dog then the dog eats the bald eagle. If the bear is blue and the bear does not see the dog then the dog does not eat the bald eagle. If someone sees the dog and the dog does not see the bear then the dog does not like the bald eagle. If the cow likes the bald eagle and the cow is not green then the cow likes the dog. If the bald eagle is big then the bald eagle eats the bear. If someone likes the dog then they like the cow.
The cow sees the bear.
@0: The bald eagle does not eat the bear.[(triple1)] The bald eagle eats the cow.[(triple2)] The bald eagle eats the dog.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle likes the cow.[(triple5 OR ((triple6) -> rule6))] The bald eagle likes the dog.[(triple6)] The bald eagle sees the bear.[(triple7)] The bear eats the bald eagle.[(triple8)] The bear eats the dog.[(triple9)] The bear is young.[(triple10)] The bear sees the cow.[(triple11)] The cow does not like the bear.[(triple13)] The cow eats the bear.[(triple12)] The cow sees the dog.[(triple14)] The dog does not see the bald eagle.[(triple16)] The dog is cold.[(triple15)]