Anne is kind. Bob is kind. Bob is rough. Charlie is big. Charlie is blue. Charlie is rough. Harry is rough. If Anne is rough and Anne is smart then Anne is kind. Quiet people are rough. Smart people are furry. All rough people are kind. If someone is blue and kind then they are furry. If someone is furry and smart then they are big. If someone is kind and furry then they are quiet. Kind people are big. All big people are blue.
Bob is not smart.