premise: A lady with short hair wearing a black jacket leaned against a lamp post outside a building. hypothesis: The lady is at the international space station.
contradiction: There are no lamp posts outside of the international space station. So if the woman is leaning against a lamp post, she is not at the international space station.