premise: Two runners are at the starting blocks, readying for a race. hypothesis: Two runners are racing to the moon.
contradiction: Runners at starting blocks, readying for a race cannot be racing to the moon.