The lion is big. The lion is cold. The lion is green. The lion is nice. The lion is red. Big things are cold. Cold, green things are red. Cold things are red. All nice, big things are red. If something is nice then it is red. Red things are nice. If something is green then it is nice. All cold things are green.
The lion is not nice.