A machine learning study of millions of online posts found five basic kinds of users – including ‘disagreers’ who mainly like to contradict others.