Bob is blue. Bob is not nice. Bob is red. Bob is round. Bob is white. Charlie is not green. Charlie is nice. Dave is blue. Dave is cold. Dave is round. If something is not round and not red then it is nice. If Charlie is round then Charlie is nice. If something is cold and red then it is blue. All blue things are white. All green things are not blue. If Dave is not white then Dave is blue.
Charlie is cold.