Bob is green. Bob is rough. Charlie is furry. Charlie is white. Dave is big. Dave is kind. Dave is quiet. Harry is kind. Harry is rough. Harry is white. If something is green and kind then it is rough. Big things are green. If Bob is furry and Bob is green then Bob is kind. If something is kind then it is green. Quiet things are big. If Dave is rough then Dave is big. All white things are kind. Kind, rough things are quiet.
Bob is not white.