Modus Ponendo Tollens/Explanation

Explanation of Modus Ponendo Tollens
The Modus Tollendo Ponens can be expressed in natural language as:

If two statements cannot both be true, and one of them is true, it follows that the other one is not true.