Anne is furry. Anne is green. Anne is kind. Anne is smart. Anne is white. Bob is blue. Bob is green. Bob is kind. Bob is young. Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is smart. Charlie is white. Charlie is young. All white things are young. All smart things are green. Young, furry things are smart. Smart, young things are blue. If something is green then it is furry. Smart things are white.
Bob is not white.