Anne is blue. Anne is furry. Anne is green. Anne is not quiet. Anne is smart. Anne is not white. Anne is young. Dave is blue. Dave is white. Gary is blue. Gary is green. Gary is white. All white things are not smart. If Gary is smart then Gary is blue. If something is quiet and white then it is not green.
Gary is white.