premise: A group of men and women eating and drinking. hypothesis: There are no women eating with the men.
contradiction: There are either men and women eating and drinking or no women eating with the men.