premise: Two men are walking up the stairs one is wearing a blue shirt and the other one is wearing a gray shirt. hypothesis: The men wearing pink shirts are going downstairs.
contradiction: If they are walking up the stairs, its obvious they are not going downstairs, it can only be one of the two.