The lion is big. The lion is blue. The lion is green. The lion is nice. The lion is red. If the lion is red then the lion is big. If someone is blue then they are nice. All red, green people are nice. All blue people are nice. All red people are big. If someone is green then they are red.
The lion is not green.