The bald eagle does not chase the bear. The bald eagle does not chase the cow. The bald eagle is rough. The bald eagle is young. The bald eagle likes the cow. The bald eagle visits the bear. The bear chases the bald eagle. The bear is cold. The bear is red. The bear is not rough. The bear is young. The bear likes the cow. The bear visits the cow. The cow likes the bear. The cow visits the bear. If the bear does not like the cow then the cow is not cold. If the bear is cold and the bear chases the cow then the bear does not visit the cow. If the bald eagle is red then the bald eagle visits the bear. If someone visits the bald eagle then they are cold. If someone likes the bear then the bear chases the bald eagle. If someone chases the cow and the cow is not young then they are rough.
The bald eagle chases the cow.
@0: The bald eagle does not chase the bear.[(triple1)] The bald eagle does not chase the cow.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the cow.[(triple5)] The bald eagle visits the bear.[(triple6)] The bear chases the bald eagle.[(triple7 OR ((triple14) -> rule5))] The bear is cold.[(triple8)] The bear is not rough.[(triple10)] The bear is red.[(triple9)] The bear is young.[(triple11)] The bear likes the cow.[(triple12)] The bear visits the cow.[(triple13)] The cow likes the bear.[(triple14)] The cow visits the bear.[(triple15)]