The bald eagle likes the dog. The bald eagle sees the squirrel. The dog eats the bald eagle. The dog eats the squirrel. The dog is red. The dog likes the bald eagle. The lion eats the squirrel. The lion likes the squirrel. The squirrel eats the dog. The squirrel is round. The squirrel likes the bald eagle. The squirrel sees the bald eagle. If someone eats the bald eagle then they eat the dog.
The dog does not eat the bald eagle.
@0: The bald eagle likes the dog.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The dog eats the bald eagle.[(triple3)] The dog eats the squirrel.[(triple4)] The dog is red.[(triple5)] The dog likes the bald eagle.[(triple6)] The lion eats the squirrel.[(triple7)] The lion likes the squirrel.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the bald eagle.[(triple11)] The squirrel sees the bald eagle.[(triple12)] @1: The dog eats the dog.[(((triple3) -> rule1))]