Premise: A man digging dirt with a Case machine .
Correct statement: It is certain that he is outside .
Incorrect statement: It is highly unlikely that he is outside .