Charlie is blue. Charlie is cold. Erin is furry. Erin is green. Erin is nice. Gary is green. Gary is nice. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is smart. Harry is white. Furry, cold people are green. All white people are furry. If someone is green and furry then they are smart. If someone is smart then they are white. If someone is furry then they are smart. If Charlie is blue then Charlie is smart. If someone is nice and green then they are cold. If someone is white and green then they are nice.
Gary is not green.