The bald eagle chases the rabbit. The bald eagle eats the lion. The bald eagle eats the rabbit. The bald eagle is big. The bald eagle needs the rabbit. The bald eagle does not need the squirrel. The lion eats the rabbit. The lion is nice. The rabbit does not chase the squirrel. The squirrel chases the bald eagle. The squirrel chases the lion. The squirrel eats the lion. The squirrel is big. The squirrel needs the bald eagle. The squirrel needs the lion. If the lion is big and the lion does not need the bald eagle then the lion does not eat the squirrel. If something needs the squirrel then the squirrel is big. All nice things are round.
The bald eagle chases the squirrel.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle does not need the squirrel.[(triple6)] The bald eagle eats the lion.[(triple2)] The bald eagle eats the rabbit.[(triple3)] The bald eagle is big.[(triple4)] The bald eagle needs the rabbit.[(triple5)] The lion eats the rabbit.[(triple7)] The lion is nice.[(triple8)] The rabbit does not chase the squirrel.[(triple9)] The squirrel chases the bald eagle.[(triple10)] The squirrel chases the lion.[(triple11)] The squirrel eats the lion.[(triple12)] The squirrel is big.[(triple13)] The squirrel needs the bald eagle.[(triple14)] The squirrel needs the lion.[(triple15)] @1: The lion is round.[(((triple8) -> rule3))]