Anne is furry. Anne is nice. Anne is red. Gary is not furry. Gary is nice. Gary is not rough. Gary is young. If something is blue and not red then it is nice. All young things are blue. If Anne is young then Anne is blue.
Gary is blue.