宗（结论）S（有法）即P（法）。
因（小前提）S（有法）即M（因）。
喻（大前提）
同喻（肯定的大前提）喻依（例证）(https://www.daowen.com)
喻体（命题）M（因） 即为P（法）。
异喻（否定的大前提）喻依（例证）
喻体（命题）非P（法之否定）即为非M（因之否定）。
