Anne is furry. Bob is cold. Bob is rough. Charlie is big. Charlie is cold. Charlie is furry. Charlie is not nice. Charlie is not smart. Dave is furry. Dave is nice. If Anne is rough then Anne is not cold. If something is not smart then it is rough. If Bob is furry and Bob is smart then Bob is not quiet.
Bob is not furry.