The bald eagle eats the bear. The bald eagle eats the rabbit. The bald eagle is green. The bald eagle is not rough. The bald eagle needs the bear. The bear chases the rabbit. The bear eats the bald eagle. The bear does not eat the rabbit. The bear is rough. The bear is young. The bear needs the bald eagle. The bear does not need the rabbit. The rabbit eats the bald eagle. The rabbit is green. The rabbit is rough. If something needs the bald eagle then the bald eagle is cold. If something is young and it does not chase the bald eagle then the bald eagle is not young. If something chases the rabbit then it does not eat the rabbit.
The rabbit is not cold.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is not rough.[(triple4)] The bald eagle needs the bear.[(triple5)] The bear chases the rabbit.[(triple6)] The bear does not eat the rabbit.[(triple8 OR ((triple6) -> rule3))] The bear does not need the rabbit.[(triple12)] The bear eats the bald eagle.[(triple7)] The bear is rough.[(triple9)] The bear is young.[(triple10)] The bear needs the bald eagle.[(triple11)] The rabbit eats the bald eagle.[(triple13)] The rabbit is green.[(triple14)] The rabbit is rough.[(triple15)] @1: The bald eagle is cold.[(((triple11) -> rule1))]