Anne is furry. Anne is green. Anne is nice. Erin is green. Erin is nice. Gary is kind. Gary is quiet. Kind, nice things are quiet. If something is not kind then it is blue. Blue things are furry. All blue things are green. If something is not quiet and not kind then it is nice. If Erin is not quiet and Erin is not green then Erin is not blue.
Gary is not furry.