premise: Man standing at a check-out counter. hypothesis: A man is walking through the aisles of the grocery store.
contradiction: The man cannot be standing at the counter and walking through the aisles at the same time.