The bald eagle likes the squirrel. The bald eagle sees the squirrel. The bald eagle visits the squirrel. The squirrel is green. The squirrel is round. The squirrel sees the bald eagle. The squirrel visits the bald eagle. If someone visits the bald eagle and the bald eagle is green then they like the squirrel. If the squirrel is nice and the squirrel is round then the squirrel visits the bald eagle. If someone visits the squirrel then the squirrel likes the bald eagle. If someone visits the squirrel and the squirrel likes the bald eagle then they see the bald eagle. If someone likes the bald eagle then they are nice. If someone is nice then they like the squirrel. If someone sees the squirrel and the squirrel likes the bald eagle then the squirrel visits the bald eagle. If someone is red then they see the bald eagle.
The bald eagle is not green.
@0: The bald eagle likes the squirrel.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The squirrel is green.[(triple4)] The squirrel is round.[(triple5)] The squirrel sees the bald eagle.[(triple6)] The squirrel visits the bald eagle.[(triple7 OR ((triple2 ((triple3) -> rule3)) -> rule7) OR ((((((triple3) -> rule3)) -> rule5) triple5) -> rule2))] @1: The squirrel likes the bald eagle.[(((triple3) -> rule3))] @2: The bald eagle sees the bald eagle.[(((triple3 ((triple3) -> rule3)) -> rule4))] The squirrel is nice.[(((((triple3) -> rule3)) -> rule5))] @3: The squirrel likes the squirrel.[(((((((triple3) -> rule3)) -> rule5)) -> rule6))]