The bald eagle eats the bear. The bald eagle eats the squirrel. The bald eagle is round. The bald eagle needs the bear. The bear eats the bald eagle. The bear is round. The squirrel chases the bald eagle. The squirrel chases the bear. The squirrel eats the bald eagle. The squirrel does not need the bear. If the bear is round then the bear chases the bald eagle.
The squirrel does not eat the bear.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle needs the bear.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear is round.[(triple6)] The squirrel chases the bald eagle.[(triple7)] The squirrel chases the bear.[(triple8)] The squirrel does not need the bear.[(triple10)] The squirrel eats the bald eagle.[(triple9)] @1: The bear chases the bald eagle.[(((triple6) -> rule1))]