premise: A large group of people are walking up a steep mountain with clouds hanging in the background. hypothesis: No one is on a mountain.
contradiction: group of people cannot be no one at the same time.