The bald eagle is kind. Rough, nice things are red. If the bald eagle is red and the bald eagle is nice then the bald eagle is kind. If something is nice and rough then it is kind. Kind things are rough. If something is green then it is kind. If something is red and rough then it is kind. Red things are green. If something is red and nice then it is kind.
The bald eagle is not kind.
@0: The bald eagle is kind.[(triple1)] @1: The bald eagle is rough.[(((triple1) -> rule4))]