Bob is furry. Bob is not quiet. Dave is cold. If Dave is big and Dave is cold then Dave is furry. All smart things are furry. If something is cold then it is smart. If Bob is nice then Bob is not big. If Dave is smart and Dave is not kind then Dave is quiet. All furry things are not kind.
Bob is not smart.