[Edit] One of the neat things about formal reasoning is that it forces you to be explicit about your assumptions. In this case, the original comment seems to be making the assumption that most HN types are heterosexual males and homosexual women, single and with poor social skills.