Anne is nice. Anne is white. Bob is blue. Bob is round. Bob is smart. Bob is white. Bob is young. Charlie is green. Charlie is white. Charlie is young. Dave is young. All young, green things are white. Smart, white things are green. All white, young things are blue. All young, smart things are white. If something is young and nice then it is smart. Green, nice things are young. All smart, white things are green. All nice, round things are smart. If something is nice then it is round.
Anne is not green.