Anne is young. Bob is nice. Fiona is red. Harry is nice. Quiet, green things are red. All white things are green. If Bob is nice then Bob is white. Quiet, young things are green. All green things are round. All quiet, white things are young.
Bob is not white.