因明立式辩经实例之一
林崇安,内观教育,2006.01
目标：熟习小前提与大前提的二轮推论法。先对每一根本命题进行二轮检验：第一轮检验小前提，第二轮检验大前提。最后检验衍生命题。当二词相互比较范围时，有二个基本命题的出现，其成立方式同于单一基本命题的二轮推论法，唯推论中有重复时，可以依据状况省略。
【实习】有人说：凡是颜色，都是红色。
攻方：凡是颜色，都是红色吗？
守方：同意。(此处明确示出守方的主张)
说明：接着，攻方找出诤由(有法、前陈)：如，黄花的颜色、绿芽的颜色等，是颜色而不是红色。于此攻方有二基本命题要成立：(1)黄花的颜色，应是颜色；(2)黄花的颜色，应不是红色。
传统上，攻方于此处会提出破式：「黄花的颜色，应是红色，因为是颜色故。」今则直接提出根本立式，内含上述二基本命题。为了便于区分，命题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攻方：黄花的颜色，应是黄色，因为与黄花的颜色为一故。
守方：因不成。
q攻方：黄花的颜色，应与黄花的颜色为一，因为依据自身为 一的公设故。
守方：同意。〕(以上第一轮可省，于基本命题1中已成立故)
2攻方：黄花的颜色，应不是红色，因为是黄色故。因已许！
【第二轮：检验大前提】
守方：不遍。
攻方：应有遍，因为＊黄色与红色是相违故。
守方：不遍。
攻方：应有遍，因为依据相违的公设故。
守方：同意。
(衍生命题)
2＊攻方：黄色应与红色是相违，因为这是一般的公设故。
守方：同意。
(总计同意)
2攻方：凡是黄色，都不是红色吗？
守方：同意。
(小结命题2：以上对相关的大小前提都已检验完毕)
2攻方：黄花的颜色，应不是红色，因为是黄色故。因已许！周遍已许！
守方：同意。
(总结命题1与2)
0攻方：凡是颜色，不都是红色，因为黄花的颜色是颜色而不是红色故。因已许！
守方：同意。
攻方：完结！
