Bob is kind. Bob is nice. Charlie is big. Charlie is kind. Charlie is nice. Charlie is smart. Charlie is white. Charlie is young. Dave is big. Dave is kind. Dave is nice. Dave is rough. Dave is smart. Dave is white. Dave is young. If someone is kind then they are nice. If someone is young and white then they are nice. If someone is white and nice then they are kind. If someone is kind and rough then they are white. Smart people are nice. All white people are young. All nice people are rough. All young people are rough.
Bob is not smart.