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