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