Premise: Large brown dog walks up a blue staircase .
Correct statement: It is impossible that a small brown dog is sleeping at the bottom of the stairs .
Incorrect statement: It is certain that a small brown dog is sleeping at the bottom of the stairs .