premise: Two men are sitting at a desk and one man is touching the jacket of one of the first men. hypothesis: There are two men running away from each other.
contradiction: Two men cannot be sitting if they are running.