Anne is big. Anne is not kind. Anne is rough. Anne is not white. Charlie is big. Charlie is blue. Charlie is rough. Charlie is white. Dave is not big. Dave is not quiet. Dave is not red. Dave is white. If something is blue and not quiet then it is kind. All white, red things are not quiet. If something is kind and not big then it is not blue.
Dave is blue.