因明立式辯經實例之一
林崇安,內觀教育,2006.01
目標：熟習小前提與大前提的二輪推論法。先對每一根本命題進行二輪檢驗：第一輪檢驗小前提，第二輪檢驗大前提。最後檢驗衍生命題。當二詞相互比較範圍時，有二個基本命題的出現，其成立方式同於單一基本命題的二輪推論法，唯推論中有重複時，可以依據狀況省略。
【實習】有人說：凡是顏色，都是紅色。
攻方：凡是顏色，都是紅色嗎？
守方：同意。（此處明確示出守方的主張）
傳統上，攻方於此處會提出破式：「黃花的顏色，應是紅色，因為是顏色故。」今則直接提出根本立式，內含上述二基本命題。為了便於區分，命題1內的命題用a,b,c,d等編號。命題2內的命題用p,q,r,s等編號。
0攻方：凡是顏色，不都是紅色，因為黃花的顏色是顏色而不是紅色故。 （根本立式）
守方：前因不成。（不同意第一個理由：黃花的顏色是顏色）
（基本命題1）
1攻方：黃花的顏色，應是顏色，因為是黃色故。
【第一輪檢驗小前提】
守方：因不成。
a攻方：黃花的顏色，應是黃色，因為與黃花的顏色為一故。
守方：因不成。
攻方：黃花的顏色，應是與黃花的顏色為一，因為依據自身為 一的公設故。
守方：同意。
（總計同意）
a攻方：黃花的顏色，應是黃色嗎？
守方：同意。
1攻方：黃花的顏色，應是顏色，因為是黃色故。因已許！
【第二輪依次檢驗大前提】。
守方：不遍。
攻方：應有遍，因為＊顏色是黃色等等的整體故。
守方：不遍。
攻方：應有遍，因為依據整體與部分的公設故。
守方：同意。
a攻方：黃花的顏色，應是黃色，因為與黃花的顏色為一故。因已許！
守方：不遍。
攻方：應有遍，因為依據自身為一的公設故。
守方：同意。
（衍生命題）
1＊攻方：顏色應是黃色等等的整體，因為與顏色為一故。
【檢驗小前提】
守方：因不成。
攻方：顏色應與顏色為一，因為依據自身為一的公設故。
守方：同意。
1＊攻方：顏色應是黃色等等的整體，因為與顏色為一故。因已許！【次檢驗大前提】
守方：不遍。
攻方：應有遍，因為依據自身為一的公設故。
守方：同意。
（總計同意）
a攻方：凡是與黃花的顏色為一，都黃色嗎？
守方：同意。
1攻方：凡是黃色都是顏色嗎？
守方：同意。
（小結命題1：以上對相關的大小前提都已檢驗完畢）
1攻方：黃花的顏色，應是顏色，因為是黃色故。因已許！周遍已許！
守方：同意。
0攻方：凡是顏色，不都是紅色，因為黃花的顏色是顏色而不是紅色故。前因已許！
守方：後因不成。（不同意第二個理由：黃花的顏色不是紅色）
（基本命題2）
〔2攻方：黃花的顏色，應不是紅色，因為是黃色故。（給出立式）
【第一輪：先檢驗小前提】
守方：因不成。
p攻方：黃花的顏色，應是黃色，因為與黃花的顏色為一故。
守方：因不成。
守方：同意。〕（以上第一輪可省，於基本命題1中已成立故）
2攻方：黃花的顏色，應不是紅色，因為是黃色故。因已許！
【第二輪：檢驗大前提】
守方：不遍。
攻方：應有遍，因為＊黃色與紅色是相違故。
守方：不遍。
攻方：應有遍，因為依據相違的公設故。
守方：同意。
（衍生命題）
2＊攻方：黃色應與紅色是相違，因為這是一般的公設故。
守方：同意。
（總計同意）
2攻方：凡是黃色，都不是紅色嗎？
守方：同意。
（小結命題2：以上對相關的大小前提都已檢驗完畢）
2攻方：黃花的顏色，應不是紅色，因為是黃色故。因已許！周遍已許！
守方：同意。
（總結命題1與2）
守方：同意。
攻方：完結！