premise: People watching two women wearing red and black dancing at a tavern. hypothesis: There are no women in the tavern.
contradiction: There are either no women in the tavern, or there are women at the tavern.