Premise: a sleeping man in a city area .
Correct statement: It is certain that a man sleeps in the city .
Incorrect statement: We doubt that a man sleeps in the city .