有一个有效三段论的大前提是肯定的，大项在结论中周延，小项在前提中不周延。那么，此三段论是哪一格的什么式？