The bald eagle eats the bear. The bald eagle eats the cow. The bald eagle likes the cow. The bald eagle needs the bear. The bear eats the bald eagle. The bear is nice. The bear is round. The bear likes the bald eagle. The cow eats the bear. The cow is kind. The cow likes the bald eagle. The cow needs the rabbit. The rabbit is kind. The rabbit is nice. The rabbit likes the cow. If something likes the bear then it needs the bald eagle. If something eats the cow then it is nice.
The cow needs the cow.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the cow.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle needs the bear.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear is nice.[(triple6)] The bear is round.[(triple7)] The bear likes the bald eagle.[(triple8)] The cow eats the bear.[(triple9)] The cow is kind.[(triple10)] The cow likes the bald eagle.[(triple11)] The cow needs the rabbit.[(triple12)] The rabbit is kind.[(triple13)] The rabbit is nice.[(triple14)] The rabbit likes the cow.[(triple15)] @1: The bald eagle is nice.[(((triple2) -> rule2))]