The bald eagle eats the cow. The bald eagle is nice. The bald eagle needs the bear. The bald eagle does not need the cow. The bear is not green. The bear does not like the bald eagle. The bear does not like the tiger. The bear does not need the bald eagle. The cow eats the bear. The cow eats the tiger. The cow is kind. The cow needs the tiger. The tiger eats the bear. The tiger is kind. The tiger likes the bald eagle. If someone likes the bald eagle then the bald eagle eats the tiger.
The bald eagle does not eat the tiger.
@0: The bald eagle does not need the cow.[(triple4)] The bald eagle eats the cow.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear does not like the bald eagle.[(triple6)] The bear does not like the tiger.[(triple7)] The bear does not need the bald eagle.[(triple8)] The bear is not green.[(triple5)] The cow eats the bear.[(triple9)] The cow eats the tiger.[(triple10)] The cow is kind.[(triple11)] The cow needs the tiger.[(triple12)] The tiger eats the bear.[(triple13)] The tiger is kind.[(triple14)] The tiger likes the bald eagle.[(triple15)] @1: The bald eagle eats the tiger.[(((triple15) -> rule1))]