Anne is furry. Charlie is cold. Charlie is nice. Erin is nice. Erin is smart. Gary is cold. Gary is rough. All nice, rough people are smart. If someone is not young and not rough then they are nice. Cold people are smart. All rough, quiet people are cold. All nice people are not young. If someone is young and not smart then they are nice. If someone is not cold then they are quiet. If Anne is not quiet then Anne is not cold.
Charlie is not cold.