因为大项在结论中不周延，所以结论为肯定命题。
因为结论为肯定命题，所以大小前提均为肯定命题。
因为大项在前提中周延，大前提为肯定命题，所以大项在大前提中在主项上，中项在大前提中在谓项的位置上，大前提为全称肯定命题，中项在不周延。
因为中项在大前提中不周延，所以中项在小前提中必定是周延的。
因为中项在小前提中是周延的，小前提是肯定命题，所以中项在小前提中在主项位置上，小项在小前提中不周延，小前提为全称肯定命题。
因为小项在前提中不周延，所以小项在结论中也不得周延。
因为小项在结论中不周延，结论为肯定命题，所以结论为特称肯定命题。
所以，该三段论是第四格的AAI式。