premise: Many people are in the gym. hypothesis: No one is at the gym.
contradiction: Many people indicates that there are at least 3 people in a given place, there cannot simultaneously be no one, which is the absence of people, at the same place.