The bald eagle chases the dog. The bald eagle chases the squirrel. The bald eagle is blue. The bald eagle sees the squirrel. The bald eagle visits the squirrel. The dog is blue. The dog is not cold. The dog is red. The dog sees the squirrel. The dog visits the squirrel. The squirrel chases the dog. The squirrel is blue. The squirrel is not red. The squirrel sees the bald eagle. The squirrel visits the dog. If the dog visits the squirrel and the bald eagle does not chase the dog then the squirrel chases the bald eagle. If someone sees the bald eagle then the bald eagle sees the dog.
The squirrel does not chase the bald eagle.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The bald eagle visits the squirrel.[(triple5)] The dog is blue.[(triple6)] The dog is not cold.[(triple7)] The dog is red.[(triple8)] The dog sees the squirrel.[(triple9)] The dog visits the squirrel.[(triple10)] The squirrel chases the dog.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is not red.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel visits the dog.[(triple15)] @1: The bald eagle sees the dog.[(((triple14) -> rule2))]