premise: A wedding party files into a building. hypothesis: One man has just finished locking the building's only entrance.
contradiction: It must be either a man or a wedding party but not both, and the building must either be locked or open but not both.