The bald eagle sees the tiger. The bald eagle visits the squirrel. The squirrel is cold. The squirrel sees the tiger. The tiger is blue. The tiger is not red. The tiger visits the bald eagle. If something visits the tiger and it does not chase the tiger then the tiger sees the bald eagle. If something is cold then it chases the bald eagle.
The bald eagle does not chase the bald eagle.
@0: The bald eagle sees the tiger.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The squirrel is cold.[(triple3)] The squirrel sees the tiger.[(triple4)] The tiger is blue.[(triple5)] The tiger is not red.[(triple6)] The tiger visits the bald eagle.[(triple7)] @1: The squirrel chases the bald eagle.[(((triple3) -> rule2))]