The lion is big. The lion is blue. The lion is cold. The lion is red. The lion is young. If something is big and red then it is cold. If the lion is blue then the lion is cold. If something is big and young then it is cold. If the lion is red and the lion is young then the lion is cold. All blue, cold things are big. All blue, young things are red.
The lion is not red.