premise: A man with prosthetic legs just finished a run. hypothesis: A man with  prosthetic arms did not finish the run.
contradiction: A man with prosthetic legs who just finished a run cannot be the man with prosthetic arms who did not finish the run.