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