7, because they're rude, negative, don't add anything to the discussion and merely want to provoke. Their posts come across as trolling. I don't have time to waste on posts like these and having depression, I'd rather avoid negativity in places that are meant for entertainment, learning and socialising. I deal with enough of it in life, this place is an escape from it.
It's similar to cutting people off in your life, that to me is not censorship, it's simply not wasting time on people who are rude and negative. Censoring, to me, would be trying to get these people banned.