Bob is not red. Dave is blue. Dave is not nice. Dave is red. Dave is not smart. Dave is white. Fiona is nice. All white things are green. All nice things are not blue. If something is not red then it is not white. If Bob is green then Bob is blue. Red things are green. If something is red and not blue then it is round. If something is green and not blue then it is round. If something is not blue then it is nice.
Bob is not blue.