Anne is not big. Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is smart. Anne is white. Bob is big. Bob is blue. Bob is cold. Bob is not furry. Bob is kind. Bob is smart. Bob is white. All white things are blue. If something is not smart and not cold then it is furry. All big things are kind. If something is kind and cold then it is blue. If something is big and not cold then it is kind. All furry things are kind. If something is cold and not blue then it is white. If something is furry and not blue then it is kind.
Bob is not smart.