premise: It is two track runners that just got done running a track race. hypothesis: The runners are still running the race.
contradiction: If people just got done running a race, they cannot have simultaneously just got done running.