Anne is white. Anne is young. Gary is young. If Anne is smart then Anne is blue. All smart, blue things are young. All white things are green. Green, young things are kind. If something is kind and green then it is white. Young things are nice.
Anne is not green.