The bald eagle eats the squirrel. The squirrel eats the bald eagle. The squirrel sees the bald eagle. If the squirrel sees the bald eagle and the bald eagle sees the squirrel then the squirrel visits the bald eagle. If the squirrel is blue and the squirrel sees the bald eagle then the squirrel eats the bald eagle. If someone sees the bald eagle and they see the squirrel then the squirrel eats the bald eagle. If someone eats the squirrel and the squirrel sees the bald eagle then the bald eagle sees the squirrel. If someone eats the squirrel and the squirrel visits the bald eagle then the squirrel is young. If someone eats the squirrel then they are young. If someone eats the bald eagle and they are cold then the bald eagle is green. If someone visits the squirrel then the squirrel eats the bald eagle.
The squirrel is young.
@0: The bald eagle eats the squirrel.[(triple1)] The squirrel eats the bald eagle.[(triple2)] The squirrel sees the bald eagle.[(triple3)] @1: The bald eagle is young.[(((triple1) -> rule6))] The bald eagle sees the squirrel.[(((triple1 triple3) -> rule4))] @2: The squirrel visits the bald eagle.[(((triple3 ((triple1 triple3) -> rule4)) -> rule1))] @3: The squirrel is young.[(((triple1 ((triple3 ((triple1 triple3) -> rule4)) -> rule1)) -> rule5))]