Bob is big. Dave is cold. Erin is rough. Harry is furry. All furry things are cold. If Harry is quiet then Harry is smart. All furry, quiet things are not green. If something is cold and rough then it is green. If something is rough then it is green. If something is cold and furry then it is not quiet. If something is furry and quiet then it is rough. If something is smart and not green then it is not big.
Bob is smart.