Anne is blue. Anne is nice. Anne is white. Anne is young. Charlie is not blue. Charlie is not nice. Charlie is white. Dave is blue. Dave is not furry. Dave is nice. If something is green and young then it is nice. If something is young then it is nice. Young things are green. Young, green things are quiet. Quiet things are young. Furry, green things are white. If something is not quiet and not white then it is not young. If Dave is green and Dave is not white then Dave is young.
Dave is not green.