是第四格AAI式三段论.

　　所有P是M

　　所有M是S

　　———————

　　所以,有的S是P

　　推导过程：

　　因为大项在结论中不周延,所以结论是肯定判断（肯定判断的谓项不周延）.

　　结论肯定,则大、小前提都为肯定判断.

　　大前提是肯定判断而大项在前提中周延,故大前提必为：所有P是M（全称判断主项周延）

　　中项在大前提中不周延,它在小前提中必须周延,而小前提是肯定判断,因此小前提只能是：所有M是S

　　小项在小前提中是肯定判断的谓项,不周延,根据前提中不周延的项在结论中不得周延的规则,它在结论中也不得周延.

　　结论中小项和大项都不周延,所以只能是：有的S是P.