Bob is furry. Bob is kind. Bob is rough. Bob is smart. Charlie is big. Charlie is furry. Dave is cold. Dave is furry. Dave is kind. Dave is round. Harry is cold. Harry is furry. Harry is kind. Harry is rough. Harry is round. If Harry is big then Harry is cold. If someone is furry then they are cold. All furry, smart people are kind. Smart, cold people are big. If Dave is smart and Dave is kind then Dave is round. Smart, round people are cold. If Harry is kind and Harry is round then Harry is smart. If Harry is kind then Harry is big.
Charlie is not kind.