The bald eagle chases the squirrel. The bald eagle sees the squirrel. The cat sees the bald eagle. The cat visits the bald eagle. The dog chases the bald eagle. The dog is kind. The dog is nice. The dog sees the bald eagle. The dog sees the squirrel. The squirrel is big. The squirrel visits the cat. The squirrel visits the dog. If someone visits the cat then they see the squirrel. If someone is kind and they see the squirrel then they visit the squirrel. If the squirrel chases the bald eagle then the bald eagle is green. If someone is red and they see the squirrel then they see the cat. If someone sees the squirrel and they chase the cat then the cat is green. If someone sees the squirrel then they are kind.
The cat sees the dog.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The cat sees the bald eagle.[(triple3)] The cat visits the bald eagle.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog is kind.[(triple6 OR ((triple9) -> rule6))] The dog is nice.[(triple7)] The dog sees the bald eagle.[(triple8)] The dog sees the squirrel.[(triple9)] The squirrel is big.[(triple10)] The squirrel visits the cat.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The bald eagle is kind.[(((triple2) -> rule6))] The dog visits the squirrel.[(((triple6 triple9) -> rule2) OR ((((triple9) -> rule6) triple9) -> rule2))] The squirrel sees the squirrel.[(((triple11) -> rule1))] @2: The bald eagle visits the squirrel.[(((((triple2) -> rule6) triple2) -> rule2))] The squirrel is kind.[(((((triple11) -> rule1)) -> rule6))] @3: The squirrel visits the squirrel.[(((((((triple11) -> rule1)) -> rule6) ((triple11) -> rule1)) -> rule2))]