premise: A woman in a raincoat leans against an enclosure for a subway stairs in New York City. hypothesis: The woman is in Vancouver.
contradiction: One cannot be in New York City and in Vancouver at the same time.