The lion is green. If the lion is red and the lion is green then the lion is round. All green, round people are big. All green people are red. Blue, red people are green. All green, blue people are red. Big people are green. Round people are red. If the lion is round then the lion is green.
The lion is blue.