Anne is red. Gary is green. Gary is red. If Anne is red and Anne is blue then Anne is furry. If Gary is green and Gary is not red then Gary is blue. If something is white and not furry then it is not red.
Gary is not blue.