Anne is cold. Anne is green. Anne is white. Dave is quiet. Fiona is quiet. Fiona is red. Gary is kind. All young, quiet things are red. Red things are young. Red, young things are quiet. If Gary is kind then Gary is red. All quiet, young things are green. If something is green then it is white. Quiet, cold things are kind.
Gary is not green.