Premise: A man in the city outside a building standing on the steps .
Correct statement: It is certain that a man outside .
Incorrect statement: It is probably not the case that a man outside .