Bob is green. Charlie is rough. Dave is quiet. If Charlie is quiet and Charlie is nice then Charlie is not green. If something is green and rough then it is nice. If something is green then it is quiet. If something is not green then it is nice. If something is quiet and not white then it is rough. All white, kind things are quiet. If something is white then it is not big. If something is not kind and not quiet then it is rough.
Dave is nice.