premise: Several hockey players move toward the puck next to a goal. hypothesis: No one is playing hockey.
contradiction: Several hockey players would not be moving towards a puck if no one playing hockey.