The bald eagle visits the squirrel. The bear sees the bald eagle. The squirrel visits the bald eagle. If someone likes the bald eagle and the bald eagle is blue then they are kind. If someone sees the bald eagle then they do not visit the squirrel. If someone is kind and not blue then they see the bald eagle. If someone likes the squirrel then they see the bald eagle. If someone sees the squirrel then they see the bear. If someone sees the bald eagle and the bald eagle sees the squirrel then they are red.
The bear does not visit the squirrel.
@0: The bald eagle visits the squirrel.[(triple1)] The bear sees the bald eagle.[(triple2)] The squirrel visits the bald eagle.[(triple3)] @1: The bear does not visit the squirrel.[(((triple2) -> rule2))]