Anne is green. Dave is green. Dave is red. Dave is round. Gary is not blue. Gary is not cold. Gary is green. If something is red then it is quiet. If Anne is not white then Anne is blue.
Gary is not quiet.