Anne is nice. Charlie is white. Dave is quiet. If Charlie is not white then Charlie is round. If Dave is white then Dave is young. If someone is round and not nice then they are cold. If someone is cold and round then they are not rough. If someone is nice and white then they are round. If someone is round then they are quiet. If someone is white and not round then they are rough. If someone is round and not young then they are not white.
Charlie is not young.