Charlie is cold. Charlie is not green. Charlie is quiet. Charlie is red. Erin is cold. Erin is green. Erin is red. Erin is smart. Gary is cold. Gary is green. Gary is nice. Gary is not smart. Harry is furry. Harry is green. Harry is quiet. If Harry is red and Harry is nice then Harry is quiet. If Charlie is green then Charlie is not cold.
Charlie is cold.