premise: Five men leaning against a building and two of them looking up in the sky, while a fifth man passes by. hypothesis: The men are inside.
contradiction: If the men are leaning against the building, they can't be inside.