$( <MM> <PROOF ASST> THEOREM=
syllogism
LOC_AFTER= syllogism
h1::
h2::
3:2:
4:3:
qed:1,4:
$)