The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle eats the cow. The bald eagle visits the bear. The bald eagle does not visit the cow. The bear chases the lion. The bear eats the cow. The cow chases the bear. The cow eats the bald eagle. The cow is not big. The cow is round. The cow does not visit the bald eagle. The lion does not chase the cow. The lion eats the cow. The lion does not visit the bear. The lion does not visit the cow. If the cow chases the bald eagle and the bald eagle is not round then the bald eagle chases the bear. If someone eats the bald eagle then the bald eagle eats the lion. If the bear chases the bald eagle and the bald eagle does not chase the bear then the bald eagle does not eat the lion.
The bear does not visit the bear.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle does not visit the cow.[(triple5)] The bald eagle eats the bear.[(triple2)] The bald eagle eats the cow.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear chases the lion.[(triple6)] The bear eats the cow.[(triple7)] The cow chases the bear.[(triple8)] The cow does not visit the bald eagle.[(triple12)] The cow eats the bald eagle.[(triple9)] The cow is not big.[(triple10)] The cow is round.[(triple11)] The lion does not chase the cow.[(triple13)] The lion does not visit the bear.[(triple15)] The lion does not visit the cow.[(triple16)] The lion eats the cow.[(triple14)] @1: The bald eagle eats the lion.[(((triple9) -> rule2))]