The bald eagle sees the squirrel. The squirrel sees the bald eagle. If someone needs the squirrel and the squirrel is young then the squirrel needs the bald eagle. If someone is green and big then they chase the bald eagle. If someone sees the squirrel and the squirrel needs the bald eagle then they need the bald eagle. If the bald eagle needs the squirrel then the squirrel is young. If someone sees the squirrel then the squirrel is red. If someone chases the squirrel and the squirrel needs the bald eagle then the squirrel chases the bald eagle.
The squirrel is not red.
@0: The bald eagle sees the squirrel.[(triple1)] The squirrel sees the bald eagle.[(triple2)] @1: The squirrel is red.[(((triple1) -> rule5))]