Anne is blue. Anne is nice. Anne is smart. Charlie is kind. Charlie is smart. Charlie is white. Erin is blue. Erin is kind. Gary is not kind. Gary is smart. If something is cold and smart then it is nice. If Gary is kind then Gary is cold. If Charlie is blue then Charlie is white. If something is nice then it is kind. If something is smart and kind then it is blue. If something is smart and not nice then it is green. If something is not kind and not smart then it is white. If Charlie is not blue and Charlie is not kind then Charlie is not cold.
Gary is not blue.