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