The bald eagle chases the squirrel. The bald eagle is young. The bald eagle sees the squirrel. The bald eagle visits the squirrel. The squirrel chases the bald eagle. The squirrel sees the bald eagle. The squirrel visits the bald eagle. If someone visits the squirrel and the squirrel visits the bald eagle then they chase the bald eagle. If the squirrel is young then the squirrel sees the bald eagle. If the squirrel visits the bald eagle then the bald eagle visits the squirrel.
The squirrel chases the bald eagle.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The bald eagle visits the squirrel.[(triple4 OR ((triple7) -> rule3))] The squirrel chases the bald eagle.[(triple5)] The squirrel sees the bald eagle.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The bald eagle chases the bald eagle.[(((triple4 triple7) -> rule1) OR ((((triple7) -> rule3) triple7) -> rule1))]