Anne is kind. Dave is white. If something is round then it is blue. If Anne is nice then Anne is kind. If something is furry and kind then it is nice. If Dave is nice then Dave is white. Smart things are white. If something is kind then it is smart.
Dave is not white.