premise: A man sits on a bench while another man walks toward him. hypothesis: A man is taking a shower.
contradiction: If a man sits on a bench and another man walks toward him, then neither of the two men can be taking a shower.