Premise: Two men in a an alleyway , one with his hands in his pockets looking one way the other looking behind him .
Correct statement: It is impossible that the men are in a library .
Incorrect statement: It is almost certain that the men are in a library .