A man with prosthetic legs just finished a run.
A man with  prosthetic arms did not finish the run.
A man with prosthetic legs who just finished a run cannot be the man with prosthetic arms who did not finish the run.
(-x)
(-x)