The lion is big. The lion is green. The lion is kind. The lion is red. The lion is young. If something is green and big then it is kind. All red things are kind. If the lion is green and the lion is young then the lion is kind. If something is big and not young then it is green. Green things are big. Young, big things are kind. If something is green and young then it is kind. If the lion is green and the lion is red then the lion is kind.
The lion is not big.