The bald eagle eats the squirrel. The bald eagle does not see the squirrel. The bald eagle visits the squirrel. The squirrel does not eat the bald eagle. The squirrel is not kind. The squirrel is round. The squirrel sees the bald eagle. If someone is green and they eat the squirrel then they see the bald eagle. If someone visits the squirrel then they eat the bald eagle. If the squirrel visits the bald eagle and the squirrel is not kind then the bald eagle visits the squirrel. If the bald eagle sees the squirrel and the bald eagle is green then the squirrel visits the bald eagle. If someone eats the bald eagle and the bald eagle visits the squirrel then they do not visit the bald eagle. If someone eats the squirrel and they do not visit the bald eagle then the squirrel is red.
The bald eagle does not eat the bald eagle.
@0: The bald eagle does not see the squirrel.[(triple2)] The bald eagle eats the squirrel.[(triple1)] The bald eagle visits the squirrel.[(triple3)] The squirrel does not eat the bald eagle.[(triple4)] The squirrel is not kind.[(triple5)] The squirrel is round.[(triple6)] The squirrel sees the bald eagle.[(triple7)] @1: The bald eagle eats the bald eagle.[(((triple3) -> rule2))] @2: The bald eagle does not visit the bald eagle.[(((((triple3) -> rule2) triple3) -> rule5))] @3: The squirrel is red.[(((triple1 ((((triple3) -> rule2) triple3) -> rule5)) -> rule6))]