Anne is white. Anne is young. Bob is green. Bob is nice. Bob is red. Bob is smart. Bob is young. Dave is blue. Dave is green. Dave is nice. Dave is red. Dave is smart. Dave is young. Gary is blue. Gary is smart. Gary is white. Young, white things are nice. Smart things are red. Red, white things are green. If something is smart then it is green. If something is blue then it is smart. Young, green things are blue. All blue things are nice. If Dave is nice then Dave is white. Nice things are red.
Bob is not white.