The lion is blue. The lion is nice. The lion is red. The lion is rough. The lion is round. All nice, blue things are rough. Red, rough things are nice. All blue things are round. All red things are rough. If something is nice and red then it is rough. If the lion is red then the lion is round. If the lion is round then the lion is red. If something is round then it is nice.
The lion is not red.