Bob is not rough. Bob is smart. Bob is white. Bob is young. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is not smart. Dave is not white. Dave is not young. If something is young then it is red. If something is red and not round then it is quiet. If something is not quiet and not white then it is young.
Charlie is white.