The bald eagle chases the squirrel. The cow chases the bald eagle. The cow chases the dog. The cow sees the dog. The cow sees the squirrel. The dog chases the bald eagle. The dog chases the cow. The dog eats the bald eagle. The dog eats the cow. The dog eats the squirrel. The dog sees the bald eagle. The dog sees the squirrel. The squirrel eats the dog. The squirrel is red. The squirrel is round. If someone chases the squirrel then they are red. If the squirrel sees the bald eagle then the squirrel chases the bald eagle.
The squirrel eats the dog.
@0: The bald eagle chases the squirrel.[(triple1)] The cow chases the bald eagle.[(triple2)] The cow chases the dog.[(triple3)] The cow sees the dog.[(triple4)] The cow sees the squirrel.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog chases the cow.[(triple7)] The dog eats the bald eagle.[(triple8)] The dog eats the cow.[(triple9)] The dog eats the squirrel.[(triple10)] The dog sees the bald eagle.[(triple11)] The dog sees the squirrel.[(triple12)] The squirrel eats the dog.[(triple13)] The squirrel is red.[(triple14)] The squirrel is round.[(triple15)] @1: The bald eagle is red.[(((triple1) -> rule1))]