The lion is big. The lion is cold. The lion is young. Cold things are red. Red, cold things are kind. If something is big and kind then it is red. If the lion is big and the lion is red then the lion is young. If the lion is kind and the lion is cold then the lion is big. Young, cold things are kind. If something is kind and cold then it is young. All red, kind things are big.
The lion is not big.