Bob is not green. Bob is rough. Bob is not young. Dave is green. Dave is nice. Dave is rough. Dave is smart. Dave is white. Dave is young. Harry is white. If someone is kind then they are young. If Harry is white then Harry is not smart. If someone is not nice then they are not kind. If someone is not young then they are white. If Bob is not young then Bob is smart. If someone is not white then they are kind. If Bob is not kind then Bob is smart. If someone is not rough and not smart then they are green.
Harry is nice.