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