Bob is big. Bob is young. Charlie is big. Charlie is not furry. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. Dave is big. Dave is quiet. Dave is rough. Dave is smart. Dave is white. Harry is quiet. If Harry is furry then Harry is rough. If someone is big then they are rough. White people are big. If someone is young and rough then they are big. If Dave is smart then Dave is quiet. All rough people are young. If someone is smart and quiet then they are white. All quiet people are smart. If someone is not young and not big then they are furry.
Bob is not smart.