premise: A man is socializing with another man in the bar. hypothesis: Two women enjoying happy hour.
contradiction: Women are not men.|contradiction: Two women are not a man and another man.|contradiction: A man is socializing, not women.