Premise: two dogs play together .
Correct statement: It is impossible that the dogs are sleeping .
Incorrect statement: It is certain that the dogs are sleeping .