premise: Two men dressed in winter coats are standing outside in the snow in a picnic shelter, getting ready to eat. hypothesis: Nobody has a coat.
contradiction: IF nobody has a coat then there cannot be two men dressed in winter coats.