The tiger is green. The tiger is kind. The tiger is red. The tiger is round. The tiger is young. Round, young things are kind. All kind, green things are young. All kind things are young. If something is red then it is young. All red things are young. If the tiger is kind and the tiger is young then the tiger is round.
The tiger is not green.