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