Create syllogism2.sty