Anne is quiet. Anne is smart. Bob is big. Bob is green. Bob is quiet. Bob is not rough. Bob is not white. If something is smart and not rough then it is quiet. Blue, white things are green. Big, quiet things are smart. Smart, white things are big. All blue things are green. All quiet things are blue. If something is green and not blue then it is smart. If something is smart and not quiet then it is green.
Bob is white.