A man is playing tug-of-war with his dog .
It is certain that the man and dog are sleeping .
It is impossible that the man and dog are sleeping .
It is certain that the man and dog are sleeping .
The man and dog are sleeping .