Charlie is furry. Dave is blue. Gary is cold. All cold people are big. If someone is not red then they are nice. All furry people are nice. If Gary is green then Gary is not nice. All nice people are cold. Red, big people are not green. Red people are blue. If someone is nice and not big then they are green.
Charlie is not green.