Create syllogism6.tex