The bald eagle is big. All kind, big things are red. If something is kind and big then it is red. All cold, kind things are red. If something is red then it is big. If the bald eagle is big then the bald eagle is not kind. If something is cold and kind then it is not green.
The bald eagle is not big.
@0: The bald eagle is big.[(triple1)] @1: The bald eagle is not kind.[(((triple1) -> rule5))]