Bob is not green. Bob is kind. Bob is rough. Dave is big. Dave is quiet. Dave is rough. Dave is young. Harry is big. Harry is green. Harry is kind. If something is rough then it is big. Big things are not blue.
Dave is green.