Bob is not blue. Dave is green. Dave is red. If something is young then it is white. If something is not young then it is red. All white things are nice. Red, green things are blue. If something is blue then it is nice. All red, blue things are white. If Dave is not red then Dave is furry. If Dave is red and Dave is not white then Dave is furry.
Dave is blue.