Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is smart. Anne is white. Anne is young. Bob is furry. Bob is green. Bob is kind. Bob is red. Bob is white. Harry is green. Harry is kind. Harry is smart. All red, kind things are white. All red, white things are green. Green things are red. If something is furry and green then it is young. All kind, red things are young. All white, young things are smart. If Harry is green and Harry is young then Harry is white. All red things are green.
Bob is not young.