Charlie is big. Charlie is blue. Charlie is cold. Charlie is not furry. Charlie is green. Charlie is rough. Charlie is white. Fiona is big. Fiona is furry. Fiona is green. Fiona is rough. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is green. If Gary is white then Gary is blue. All green, cold things are rough. All big things are blue. If something is rough then it is blue. If something is cold and not green then it is furry. If Charlie is not furry then Charlie is cold.
Gary is not blue.