premise: Two men in a an alleyway, one with his hands in his pockets looking one way the other looking behind him. hypothesis: The men are in a library.
contradiction: The men cannot both be in an alleyway (outside) and in a library (inside).