premise: A man with his knees held up and another man wearing a gray shirt are sitting at a bar. hypothesis: The bar is closed.
contradiction: If the bar is closed then there could not be two men sitting there.