Premise: A man is playing tug-of-war with his dog .
Correct statement: It is impossible that the man and dog are sleeping .
Incorrect statement: It is certain that the man and dog are sleeping .