Bob is big. Charlie is cold. Dave is smart. Harry is furry. If something is rough then it is furry. If something is kind then it is rough. Big things are white. If Harry is cold then Harry is kind. If something is white and smart then it is furry. Rough things are furry.
Bob is not smart.