premise: A man is carrying six wooden logs over his left shoulder while holding another log in his right hand. hypothesis: Nobody is carrying.
contradiction: If nobody is carrying, the man cannot be carrying logs.