The lion is not red. If something is young and cold then it is green. Kind, cold things are green. Green things are not young. If something is green and kind then it is not young. If the lion is young and the lion is red then the lion is green. If the lion is cold then the lion is young.
The lion is not green.
@0: The lion is not red.[(triple1)]