Dave is rough. All green, quiet things are kind. If Dave is quiet then Dave is not blue. If something is smart and not quiet then it is not blue. If something is blue then it is rough. If Dave is quiet and Dave is big then Dave is not green. If something is not quiet then it is rough. Rough, kind things are green. If something is not kind then it is big.
Dave is not green.