The bald eagle chases the dog. The bald eagle likes the squirrel. The dog does not chase the squirrel. The dog is big. The dog is kind. The dog is round. The dog does not like the bald eagle. The dog sees the bald eagle. The mouse is blue. The mouse likes the bald eagle. The squirrel chases the bald eagle. The squirrel likes the mouse. If someone likes the mouse then they do not like the squirrel. If someone chases the bald eagle and they do not see the bald eagle then they are round.
The dog is not round.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The dog does not chase the squirrel.[(triple3)] The dog does not like the bald eagle.[(triple7)] The dog is big.[(triple4)] The dog is kind.[(triple5)] The dog is round.[(triple6)] The dog sees the bald eagle.[(triple8)] The mouse is blue.[(triple9)] The mouse likes the bald eagle.[(triple10)] The squirrel chases the bald eagle.[(triple11)] The squirrel likes the mouse.[(triple12)] @1: The squirrel does not like the squirrel.[(((triple12) -> rule1))]