The bald eagle is kind. If something is rough then it is green. If the bald eagle is kind then the bald eagle is rough. If something is red and rough then it is kind. Green things are big. If something is red and big then it is green. If the bald eagle is red then the bald eagle is rough.
The bald eagle is not red.
@0: The bald eagle is kind.[(triple1)] @1: The bald eagle is rough.[(((triple1) -> rule2))] @2: The bald eagle is green.[(((((triple1) -> rule2)) -> rule1))] @3: The bald eagle is big.[(((((((triple1) -> rule2)) -> rule1)) -> rule4))]