大前提：PAM
小前提：MAS
结论：SIP
这是三段论第四格的AAI式,是有效式.
比如：
大前提：所有的哺乳动物都是动物.
小前提：所有的动物都是生物.
结论：有的生物是哺乳动物.
在这个三段论中,大项“哺乳动物”在大前提中周延（全称命题的主项）,而在结论中变得不周延了（肯定命题的谓项）.