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