Bob is blue. Bob is cold. Bob is green. Bob is round. Bob is smart. Charlie is not blue. Charlie is not furry. Charlie is round. Charlie is smart. Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is round. Erin is smart. Erin is white. If someone is cold and not furry then they are round. Smart, white people are cold. If Charlie is cold then Charlie is not green. If someone is not blue then they are green. If Erin is white and Erin is smart then Erin is round. Cold people are smart. If someone is not smart then they are not round. If someone is not round then they are not white.
Charlie is not cold.