Hypothetical Syllogism (HS)
Template
Sample argument
Symbolic Form
If it's (T)ed then we (w)in.
If we win then we (p)arty.
-----------------------
If it's Ted then we party.
T > w
w > p
--------
T > p