山姆，所有的人都是動物。
所有人都是凡人。
這其實是壹個三段論問題（見大項P、中項M和小項S的分析）。這是推理的第壹種情況，結論只能是S-P的肯定形式。
要想得到P-S的結論，必須轉置SAP，但有效的轉置方法是SAP-》；PIS。在沒有其他推理條件的情況下，PIS無法推導出PAS。