The bald eagle is red. If something is round and red then it is not rough. If something is rough and cold then it is red. All kind things are round. All red, cold things are not round. If the bald eagle is round then the bald eagle is kind. If something is red then it is kind.
The bald eagle is not kind.
@0: The bald eagle is red.[(triple1)] @1: The bald eagle is kind.[(((triple1) -> rule6))] @2: The bald eagle is round.[(((((triple1) -> rule6)) -> rule3))] @3: The bald eagle is not rough.[(((((((triple1) -> rule6)) -> rule3) triple1) -> rule1))]