Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is young. Dave is green. Erin is furry. Erin is not kind. Gary is rough. Gary is young. All rough things are not big. If something is green and furry then it is cold. All green, cold things are young. All cold, young things are furry. All cold things are furry. If Charlie is rough and Charlie is not furry then Charlie is green.
Gary is not cold.