The lion is cold. The lion is green. The lion is kind. The lion is red. The lion is round. If something is cold then it is red. All red things are cold. Round things are green. Cold, round things are red. Red things are green. If the lion is red then the lion is kind. Kind, cold things are red. If the lion is green and the lion is red then the lion is cold.
The lion is not green.