premise: man cleaning a window using a mop. hypothesis: The man cleaned the window with a rag.
contradiction: If a man is currently cleaning a window with a mop, then he did not clean it previously with a rag.