Charlie is cold. Dave is cold. Gary is cold. Harry is cold. If Dave is big and Dave is white then Dave is not green. If something is big and nice then it is green. If something is furry and cold then it is not white. If Dave is furry then Dave is not white. If something is not nice then it is furry. If Charlie is kind and Charlie is not furry then Charlie is green.
Charlie is cold.