Anne is blue. Charlie is not furry. Erin is smart. Harry is furry. Big people are cold. If Charlie is kind and Charlie is not blue then Charlie is green. If someone is smart and not blue then they are not cold. If Anne is green then Anne is kind. If Erin is cold then Erin is not kind. If someone is smart and not big then they are not kind. All green people are furry. If someone is not cold then they are not kind.
Charlie is cold.