Large brown dog walks up a blue staircase .
It is certain that a small brown dog is sleeping at the bottom of the stairs .
It is impossible that a small brown dog is sleeping at the bottom of the stairs .
It is certain that a small brown dog is sleeping at the bottom of the stairs .
A small brown dog is sleeping at the bottom of the stairs .