Premise: A worker making sure his machine is working correctly .
Correct statement: It is impossible that the machine is alone .
Incorrect statement: It is probably the case that the machine is alone .