Bob is kind. Bob is nice. Bob is smart. Charlie is kind. Charlie is nice. Harry is nice. Harry is quiet. If Harry is furry then Harry is round. If Bob is smart then Bob is nice. If Charlie is round then Charlie is nice. If someone is round then they are furry. All nice people are furry. If Bob is green and Bob is kind then Bob is smart.
Bob is not smart.