Bob is nice. Bob is white. Dave is quiet. If something is quiet and smart then it is not white. If Dave is nice then Dave is not round. If something is white then it is round. If something is quiet then it is white. If something is not nice then it is blue. If Dave is round then Dave is quiet. If Bob is not round and Bob is not nice then Bob is smart. If something is nice and not smart then it is white.
Bob is not blue.