The bald eagle is big. All kind things are not cold. If the bald eagle is nice then the bald eagle is big. All big things are young. All big, kind things are young. If the bald eagle is young then the bald eagle is kind. Cold things are big. If something is cold and kind then it is nice. If something is cold then it is not nice.
The bald eagle is not big.
@0: The bald eagle is big.[(triple1)] @1: The bald eagle is young.[(((triple1) -> rule3))] @2: The bald eagle is kind.[(((((triple1) -> rule3)) -> rule5))] @3: The bald eagle is not cold.[(((((((triple1) -> rule3)) -> rule5)) -> rule1))]