The lion is blue. The lion is cold. The lion is green. The lion is rough. The lion is round. All green things are round. Rough things are blue. If something is green and cold then it is blue. If something is not rough and not cold then it is green. If something is not rough and not cold then it is green. If something is not cold and not blue then it is green.
The lion is not cold.