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