premise: A man in a green shirt hailing a taxi in a large city. hypothesis: A man is skinny-dipping alone in a mountain stream.
contradiction: man in city cannot be a man in mountain stream at the same time.