Anne is big. Anne is furry. Anne is green. Anne is quiet. Bob is big. Bob is blue. Bob is furry. Bob is quiet. Bob is smart. Bob is white. If Bob is furry then Bob is smart. All smart things are blue. If Bob is not smart and Bob is not blue then Bob is quiet.
Bob is green.