premise: A man and a woman walk down the street carrying groceries. hypothesis: A man and his boyfriend are running.
contradiction: The two men cannot be a man and a woman, and they cannot walk if they are running.