Modus Tollens (MT)
Template
Sample argument
Symbolic Form
If Ted (r)ecovered then Ann (s)miled.
Ann did not smile.
-----------------------
Ted did not recover.
r > s
~s
--------
~r