Premise: A man is sleeping on a bench while others are sitting up on the same bench .
Correct statement: It is certain that a man is sleeping on a bench .
Incorrect statement: It is probably not the case that a man is sleeping on a bench .