The bald eagle chases the dog. The bald eagle chases the squirrel. The bald eagle eats the dog. The bald eagle eats the squirrel. The bald eagle is round. The dog chases the bald eagle. The dog eats the squirrel. The dog is blue. The dog is kind. The dog sees the bald eagle. The squirrel chases the bald eagle. The squirrel eats the bald eagle. The squirrel is blue. The squirrel is young. The squirrel sees the bald eagle. If something is young then it eats the dog. Young things are blue. If something sees the dog and the dog eats the squirrel then the dog chases the bald eagle.
The bald eagle is not blue.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle eats the dog.[(triple3)] The bald eagle eats the squirrel.[(triple4)] The bald eagle is round.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog eats the squirrel.[(triple7)] The dog is blue.[(triple8)] The dog is kind.[(triple9)] The dog sees the bald eagle.[(triple10)] The squirrel chases the bald eagle.[(triple11)] The squirrel eats the bald eagle.[(triple12)] The squirrel is blue.[(triple13 OR ((triple14) -> rule2))] The squirrel is young.[(triple14)] The squirrel sees the bald eagle.[(triple15)] @1: The squirrel eats the dog.[(((triple14) -> rule1))]