premise: A man is waiting for a bus at the bus stop. hypothesis: A man is driving his car quickly through downtown traffic.
contradiction: A man can not be waiting for a bus at the bus stop if he is driving his car quickly through traffic.