Premise: It is two track runners that just got done running a track race .
Correct statement: It is impossible that they did not run
Incorrect statement: It is highly likely that they did not run