Anne is blue. Anne is nice. Bob is blue. Bob is furry. Bob is nice. Bob is not quiet. Fiona is not big. Fiona is furry. Fiona is nice. Fiona is rough. Gary is quiet. Gary is rough. If something is quiet then it is blue. All nice things are not red. If something is blue and not big then it is nice. If something is blue then it is rough. Big, rough things are furry. If Gary is furry and Gary is nice then Gary is red. If Fiona is red then Fiona is nice. If something is red and not furry then it is not blue.
Gary is not red.