The bald eagle eats the squirrel. The bald eagle likes the dog. The dog does not chase the bald eagle. The dog chases the squirrel. The dog eats the bald eagle. The dog is not round. The dog likes the bald eagle. The squirrel does not chase the dog. The squirrel eats the dog. The squirrel likes the dog. If someone eats the bald eagle and the bald eagle is not blue then they are round. If someone likes the dog then they are not green.
The bald eagle is not round.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle likes the dog.[(triple2)] The dog chases the squirrel.[(triple4)] The dog does not chase the bald eagle.[(triple3)] The dog eats the bald eagle.[(triple5)] The dog is not round.[(triple6)] The dog likes the bald eagle.[(triple7)] The squirrel does not chase the dog.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel likes the dog.[(triple10)] @1: The bald eagle is not green.[(((triple2) -> rule2))] The squirrel is not green.[(((triple10) -> rule2))]