Bob is smart. Charlie is quiet. If someone is smart and not furry then they are rough. If someone is rough and not furry then they are big. All smart, big people are red. Smart, big people are red. If Bob is quiet then Bob is not rough. If someone is quiet and smart then they are big.
Bob is not furry.