因明立式辯經教材（一）

序

西元1977年起，有緣從歐陽無畏教授（法名：君庇亟美喇嘛，1913-1991）開始學習藏文的《因明集課》，受益匪淺，深知因明是佛法治學中最重要的工具，只是覺得要以漢文來進行辯經，除了漢藏語言的差異外，還要解決辯經背後的攻守原理與共識，才能問答流暢。今一方面釐清辯經中的基本公設，一方面參考藏文的辯經實例，配合科學推演的有效方式，編出《因明立式辯經教材》以供學習，除了迅速達成相同的辯經效果外，並能清晰掌握其脈絡，並依據難易分成「證明題」和「測驗題」二類。此中的推理方式採用「立式」為主，經由二輪推論，達到即學即用，不會視辯經為畏途。在今日科學理性的時代，這種辯經方式容易學習。熟習後，進一步結合「破式」的運用來探討《俱舍論》、《中論》等教材，就能駕輕就熟。
願此工作，有助於學佛者在義理和實踐上的增進。

林崇安2006.1
於桃園縣內觀教育基金會

因明立式辯經教材

林崇安編著，內觀教育，2006

說明：
1方式：循序漸進，依照規範，透過因明論式的訓練，對佛法術語的分類、定義與義理將得到更深入的理解。初階以「證明題」為主，進階以「測驗題」為主。
2配合《佛法總綱》來實習。
3初階實習成果共分五階來檢定（要能立竿見影）：
（A）因明論式與三段論法
（B）因明論式小前提的成立
（C）因明論式大前提的成立
（D）大前題與衍生命題的成立
（E）因明立式二輪推論法的實習
4測驗題實習：機動回答
5藏傳辯經與立式辯經的比較

立式辯經五階

（A）因明論式與三段論法的比對與實習

目標：熟習大前提、小前提、前陳、後陳、宗與因的關係
〔舉例說明〕論式的結構
 孔子應是人，因為是亞洲人故。A應是B，因為是C故。
 前陳＋後陳，因。 宗＝前陳＋後陳
○對比於三段論法是：
大前提：凡是亞洲人都是人。 凡是C都是B。 C＜B
小前提：孔子是亞洲人。 A是C。 A＜C
結論：孔子是人。 A是B。 A＜B
此中共有三詞：孔子是「小詞」＝前陳，亞洲人是「中詞」＝因，人是「大詞」＝後陳。結論＝宗＝小詞＋大詞。前陳＝有法。後陳＝所立法。
所以，因明論式的結構是：小詞＋大詞，中詞。
       A應是B，因為是C故。
此中，A是小詞，B是大詞，C是中詞。為了分隔此三詞，論式中用「應是」「因為是」來隔開。

◆配合《佛法總綱》存有論立出正因：

說明：要先對萬有（存有）有一基本的了解，這是佛法最核心的基礎部分，相當於《百法明門論》。要先記住這一主題相關的同義詞、定義、舉例、分類後，接著立出因明論式。

◎無的公設：人我、神我、龜毛、兔角、石女兒都是無（完全沒有）。
◎存有（＝有）、存在、法、所知是同義字。舉例：虛空、桌子、智慧、人、白馬。
（預習一）同義字
虛空應是存有，因為是存在故。
桌子應是存在，因為是法故。
智慧應是法，因為是所知故。
人應是所知，因為是存有故。
白馬應是有，因為是法故。
人我應是無，因為不是存有故。
兔角應是無，因為不是所知故。
石女兒應是無，因為不是法故。

◎存有的定義：以正量所緣的東西。存在的定義：以正量所成的東西。法的定義：能持自性。所知的定義：能為心之境。
（預習二）定義
虛空應是存有，因為是以正量所緣的東西故。
桌子應是有，因為是以正量所緣的東西故。
智慧應是存在，因為是以正量所成的東西故。
人應是法，因為是能持自性故。
白馬應是所知，因為是能為心之境故。
人我應是無，因為不是以正量所緣的東西故。
兔角應是無，因為不是能為心之境故。
石女兒應是無，因為不是能持自性故。

◎存有分二：常與無常。
（預習三）分類
虛空應是存有，因為是常、無常二者之一故。
桌子應是有，因為是常、無常二者之一故。
智慧應是存在，因為是常、無常二者之一故。
人應是所知，因為是常、無常二者之一故。
白馬應是法，因為是常、無常二者之一故。
虛空應是存有，因為是常故。
桌子應是有，因為是無常故。
智慧應是存在，因為是無常故。
人應是所知，因為是無常故。
白馬應是法，因為是無常故。

◎常、無為法、非所作性是同義字。舉例：虛空、桌子的概念、空性、無我。
（預習四）同義字
虛空應是常，因為是無為法故。
桌子的概念應是常，因為是非所作性故。
空性應是無為法，因為是常故。
無我應是非所作性，因為是常故。

◎常的定義：非生滅的法。
無為法的定義：非從因緣所生的法。
非所作性的定義：非已生的法。
（預習五）定義
虛空應是常，因為是非生滅的法故。
桌子的概念應是常，因為是非生滅的法故。
空性應是無為法，因為是非從因緣所生的法故。
無我應是非所作性，因為是非已生的法故。

◎無常、有為法、所作性、實事是同義字。舉例：桌子、智慧、人。
（預習六）同義字
桌子應是無常，因為是有為法故。
智慧應是有為法，因為是所作性故。
人應是所作性，因為是實事故。
白馬應是無常，因為是所作性故。

◎無常的定義：刹那生滅的法。
有為法的定義：從因緣所生的法。
所作性的定義：已生的法。
實事的定義：能有作用。（實事＝事物）
◎無實的定義：無有作用。（無、無為法屬之）
（預習七）定義
桌子應是無常，因為刹那生滅的法故。
智慧應是有為法，因為是從因緣所生的法故。
人應是所作性，因為是已生的法故。
白馬應是無常，因為是刹那生滅的法故。
人我應是無實，因為無有作用故。
人我應是無實，因為是無和無為法之一故。
兔角應是無實，因為無有作用故。
兔角應是無實，因為是無和無為法之一故。

◎無實的法、無為法、常、非所作性、無有作用的法，是同義詞。
（預習八）同義詞
虛空應是無實的法，因為是無為法故。
桌子的概念應是無實的法，因為是常故。
空性應是無實的法，因為是非所作性故。
無我應是無實的法，因為是無有作用的法故。

◎無常分三：色蘊、知覺、不相應行。
（預習九）分類
桌子應是無常，因為是色、知、不相應行三者之一故。
智慧應是有為法，因為是色、知、不相應行三者之一故。
人應是所作性，因為是色、知、不相應行三者之一故。
白馬應是無常，因為是色、知、不相應行三者之一故。
桌子應是無常，因為是色蘊故。
智慧應是有為法，因為是知覺故。
人應是所作性，因為是不相應行故。
白馬應是無常，因為是不相應行故。

◎色蘊與物質是同義字。舉例：桌子、聲音、香、味、觸、眼耳鼻舌身等五根。
知覺、覺知、心識是同義字。舉例：眼識、感受、智慧。
（預習十）同義字
桌子應是色蘊，因為是物質故。
眼根應是物質，因為是色蘊故。
智慧應是知覺，因為是覺知故。
眼識應是覺知，因為是心識故。
感受應是心識，因為是知覺故。

◎色蘊的定義：堪為色者。物質的定義：微粒所成者。
知覺的定義：明白而覺知。
不相應行的定義：非色非知的無常法。舉例：白馬、人、眾生。
（預習十一）定義
桌子應是色蘊，因為是堪為色故。
聲音應是物質，因為是微粒所成故。
智慧應是知覺，因為是明白而覺知故。
白馬應是不相應行，因為是非色非知的無常法故。
人應是不相應行，因為是非色非知的無常法故。

◎色蘊分外色、內色。物質分外物質、內物質。知覺分心王、心所。
（預習十二）分類
桌子應是色蘊，因為是外色、內色二者之一故。
香味應是色蘊，因為是外色、內色二者之一故。
眼根應是色蘊，因為是外色、內色二者之一故。
耳根應是色蘊，因為是外色、內色二者之一故。
聲音應是物質，因為是外物質、內物質二者之一故。
鼻根應是物質，因為是外物質、內物質二者之一故。
舌根應是物質，因為是外物質、內物質二者之一故。
身根應是物質，因為是外物質、內物質二者之一故。
智慧應是知覺，因為是心王、心所二者之一故。
耳識應是知覺，因為是心王、心所二者之一故。
桌子應是色蘊，因為是外色故。
香味應是色蘊，因為是外色故。
眼根應是色蘊，因為是內色故。
耳根應是色蘊，因為是內色故。
聲音應是物質，因為是外物質故。
鼻根應是物質，因為是內物質故。
舌根應是物質，因為是內物質故。
身根應是物質，因為是內物質故。
智慧應是知覺，因為是心所故。
耳識應是知覺，因為是心王故。

◆確認因明論式中的小前提、大前提

【實習1】
1聲音，應是無常，因為是所作性故。  （用同義字作因）
 小前提：聲音是所作性。
 大前提：凡是所作性都是無常。
2聲音，應是無常，因為是剎那生滅的法故。 （用定義作因）
3聲音，應是有，因為是無常故。  （用分類部分作因）
4白馬的顏色，應不是紅色，因為是白色故。 （用相違作因）
5聲音，應是無常，因為是色、知、不相應行三者之一故。
6 A，應是X，因為是Y故。
（如：孔子，應是人，因為是亞洲人故。）
7 B，應不是Y，因為不是X故。
（如：桌子，應不是亞洲人，因為不是人故。）
8瓶與柱二者，應是實事，因為能有作用故。

【實習2】
1人我，應是無，因為不是以正量所成立的東西故。
2兔角，應是無，因為不是以正量所緣的東西故。
3兔角，應是無實，因為無有作用故。

1桌子應是存在，因為是以正量所成立的東西故。
2人應是存有，因為是以正量所緣的東西故。
3智慧應是法，因為是能持自性故。
4虛空應是無實，因為無有作用故。
5虛空應是存有，因為是常、無常二者之一故。
6感受應是法，因為是常、無常二者之一故。

1無我應是常，因為是非生滅的法故。
2無我應是常，因為是非所作性故。
3虛空應是無為法，因為是非從因緣所生的法故。
4虛空應是非所作性，因為是非已生的法故。
5桌子的概念應是無為法，因為是非從因緣所生的法故。

1人應是所作性，因為是實事故。
2聲音應是無常，因為是色、知、不相應行三者之一故。
3智慧應是無常，因為是刹那生滅的法故。
4瓶與柱二者應是實事，因為是能有作用故。
5瓶與柱二者應是所作性，因為是已生的法故。
6心與物應是有為法，因為是從因緣所生的法故。
7香應是無常，因為是色、知、不相應行三者之一故。
8味應是無常，因為是物質故。
9白馬應是無常，因為是色、知、不相應行三者之一故。

【實習3】
1色身應是色蘊，因為是堪為色故。
2色身應是色蘊，因為是外物質、內物質二者之一故。
3香應是物質，因為是微粒所成故。

1知覺應是覺知，因為是明白而覺知故。
2心識應是覺知，因為是知覺故。
3感受應是覺知，因為是心王、心所二者之一故。
4意識應是知覺，因為是明白而覺知故。
5智慧應是知覺，因為是心所故。
6眼識應是知覺，因為是心王故。
7無明應是知覺，因為是明白而覺知故。

1人應是不相應行，因為是非色非知的無常法故。
2白馬應是不相應行，因為是有情故。
※以上所列論式的因，都是「正因」。

（B）因明論式小前提的成立與實習（第一輪）

目標：小前提的成立（今屬證明題）及分類（特別是色、知、不相應行）。
【基本公設或共識】自身為一的公設：
●任何一法（任何一存在的東西）都是自身與自身為一。
●規定：辯經過程中，當攻方（問方）提出「宗」來問時，守方（答方）只允許回答：「同意」或「為什麼」。
〔舉例說明〕
攻方：聲音，應是無常嗎？ 守方只能回答下列二者之一：
守方a：［聲音，是無常］同意。
守方b：［聲音，是無常］為什麼？（接下來攻方要給出理由，如：
攻方：聲音，應是無常，因為是所作性故。）
●規定：當攻方提出由宗與因所構成的完整論式時，守方只允許回答：
（1）「同意」：守方認為該論式無誤。
（2）「因不成」：守方認為小前提不正確。
（3）「不遍」：守方認為大前提不正確。

〔舉例說明〕小前提的成立（屬證明題）
a孔子應是人，因為是亞洲人故。    （因不成）
b孔子應是亞洲人，因為是中國人故。  （因不成）
c孔子應是中國人，因為是山東人故。   （因不成）
d孔子應是山東人，因為是山東人中的孔子故。 （因不成）
e孔子應是山東人中的孔子，因為是與孔子為一故。（因不成）
f孔子應是與孔子為一，因為依據自身為一的公設故。（同意）
說明：今從亞洲人收斂至孔子本身，有最小的相同範圍。接著逆推：
（總計同意）
g孔子應是山東人嗎？        （同意）
h孔子應是中國人嗎？        （同意）
i孔子應是亞洲人嗎？        （同意）
j孔子應是人嗎？ （同意）

【基本實習1】
○桌子應是有嗎？         （為什麼？）
桌子應是有，因為是常、無常二者之一故。   （因不成）
桌子應是常、無常二者之一，因為是無常故。 （因不成）
桌子應是無常，因為是色、知、不相應行三者之一故。 （因不成）
桌子應是色、知、不相應行三者之一，因為是色（蘊）故。（因不成）
桌子應是色蘊，因為是家俱故。        （因不成）
桌子應是家俱，因為是家俱中的桌子故。 （因不成）
桌子應是家俱中的桌子，因為是與桌子為一故。 （因不成）
桌子應是與桌子為一，因為依據自身為一的公設故。  （同意）
（總計同意）
（所以）桌子應是家俱嗎？         （同意）
  桌子應是色蘊嗎？        （同意）
  桌子應是無常嗎？         （同意）
  桌子應是有嗎？         （同意）

【基本實習2】
○智慧應是存有嗎？ （為什麼？）
智慧應是存有，因為是常、無常二者之一故。   （因不成）
智慧應是常、無常二者之一，因為是無常故。 （因不成）
智慧應是無常，因為是色、知、不相應行三者之一故。（因不成）
智慧應是色、知、不相應行三者之一，因為是知覺故。 （因不成）
智慧應是知覺，因為是心王、心所二者之一故。 （因不成）
智慧應是心王、心所二者之一，因為是心所故。   （因不成）
智慧應是心所，因為是心所中的智慧故。     （因不成）
智慧應是心所中的智慧，因為是與智慧為一故。  （因不成）
智慧應是與智慧為一，因為依據自身為一的公設故。 （同意）
（總計同意）
（所以）智慧應是心所嗎？         （同意）
  智慧應是知覺嗎？       （同意）
  智慧應是無常嗎？        （同意）
  智慧應是存有嗎？        （同意）
【基本實習3】
○白馬應是有嗎？         （為什麼？）
白馬應是有，因為是常、無常二者之一故。    （因不成）
白馬應是常、無常二者之一，因為是無常故。 （因不成）
白馬應是無常，因為是色、知、不相應行三者之一故。 （因不成）
白馬應是色、知、不相應行三者之一，因為是不相應行故。（因不成）
白馬應是不相應行，因為是眾生故。      （因不成）
白馬應是眾生，因為是馬故。     （因不成）
白馬應是馬，因為是白色的馬故。   （因不成）
白馬應是白色的馬，因為是與白馬為一故。  （因不成）
白馬應是與白馬為一，因為依據自身為一的公設故。（同意）
（總計同意）
（所以）白馬應是馬嗎？         （同意）
  白馬應是眾生嗎？       （同意）
  白馬應是不相應行嗎？      （同意）
  白馬應是無常嗎？       （同意）
  白馬應是有嗎？         （同意）

（C）因明論式大前提的成立與實習（第二輪）

目標：大前提的成立（屬證明題）以及同義字（同義詞）、定義、相違、整體與部分。

【基本公設或共識】
●若A與B範圍相等，如：
1名標A與其定義B之間，必互相周遍：凡A是B；凡B是A。
2同義詞（同義字）A與B之間，必互相周遍：凡A是B；凡B是A。
●若A是整體（母集合），B是部分（子集合），則凡B是A。
●若A與B是相違，則A、B互不遍：凡A不是B；凡B不是A。
●若A與B是果與因的緣生相屬，則有果必有因：若有A則有B。
●佛法的經論為「聖言量」，這些都是基本公設或共識。守方只能答：「同意」或「不遍」，而不答「因不成」。
〔舉例說明〕（名標與定義）
○攻方：瓶，應是無常，因為是刹那生滅的法故。
守方：不遍。
攻方：〔凡是刹那生滅的法，都是無常〕應有遍，因為＊刹那生滅的法是無常的定義故。
  說明：以假言三段論法來分析：
  大命題：若刹那生滅的法是無常的定義，則凡是刹那生滅的法，     都是無常。（屬假言命題：若P，則Q）
  小命題：刹那生滅的法是無常的定義。（＊衍生命題P）
  結論：凡是刹那生滅的法，都是無常。（結論Q）
守方：不遍。
攻方：〔若刹那生滅的法是無常的定義，則凡是刹那生滅的法，都是無常〕應有遍，因為依據定義的公設故。
守方：同意。

【實習一】
（1）
a聲音，應是無常，因為是所作性故。
b〔凡所作性都是無常〕不遍！
a〔凡所作性都是無常〕應有遍，因為所作性是無常的的同義字故。
b〔若所作性是無常的同義字，則凡所作性都是無常〕不遍！
a〔若所作性是無常的同義字，則凡所作性都是無常〕應有遍，因為依據同義字的公設故。
b同意！
（2）
a聲音，應是無常，因為是刹那生滅的法故。
b〔凡刹那生滅的法都是無常〕不遍！
a〔凡刹那生滅的法都是無常〕應有遍，因為刹那生滅的法是無常的定義故。
b〔若刹那生滅的法是無常的定義，則凡刹那生滅的法都是無常〕不遍！
a〔若刹那生滅的法是無常的定義，則凡刹那生滅的法都是無常〕應有遍，因為依據定義的公設故。
b同意！
（3）
a瓶，應是無常，因為是色蘊故。
b〔凡色蘊都是無常〕不遍！
a〔凡色蘊都是無常〕應有遍，因為色蘊是無常的部分故。
b〔若色蘊是無常的部分，則凡色蘊都是無常〕不遍！
a〔若色蘊是無常的部分，則凡色蘊都是無常〕應有遍，因為依據部分的公設故。
b同意！
（4）
a白法螺的顏色應不是紅色，因為是白色故。 
b〔凡是白色，都不是紅色〕不遍！
a〔凡是白色，都不是紅色〕應有遍，因為白色與紅色相違故。
b〔若白色與紅色相違，則凡是白色都不是紅色〕不遍。
a〔若白色與紅色相違，則凡是白色都不是紅色〕應有遍，因為依據相違的公設故。
b同意。

【實習二】
（1）
感受，應是存在，因為是以正量所成的東西故。 （不遍）
應有遍，因為以正量所成的東西是存在的定義故。 （不遍）
應有遍，因為依據定義的公設故。    （同意）
（2）
道，應是無常，因為是刹那生滅的法故。  （不遍）
應有遍，因為刹那生滅的法是無常的定義故。 （不遍）
應有遍，因為依據定義的公設故。    （同意）

【實習三】
（1）
馬，應是不相應行，因為是眾生故。 （不遍）
應有遍，因為眾生是不相應行的部分故。 （不遍）
應有遍，因為依據部分的公設故。  （同意）
（2）
白馬，應不是知覺，因為是不相應行故。  （不遍）
應有遍，因為知覺與不相應行相違故。 （不遍）
應有遍，因為依據相違的公設故。  （同意）

【實習四】
（1）
無我，應是存有，因為是以正量所緣的東西故。 （不遍）
應有遍，因為以正量所緣的東西是存有的定義故。 （不遍）
應有遍，因為依據定義的公設故。    （同意）
（2）
滅諦，應是無實，因為無有作用故。  （不遍）
應有遍，因為無有作用是無實的定義故。 （不遍）
應有遍，因為依據定義的公設故。    （同意）
（3）
免角，應不是能持自性，因為不是法故。 （不遍）
應有遍，因為能持自性，是法的定義故。  （不遍）
應有遍，因為依據定義的公設故。    （同意）

◆熟習後的略答（公設＝猶如「無我」，為共許、共識）
○聲音，應是無常，因為是所作性故。   （不遍）
應有遍，因為所作性是無常的同義字故。 （不遍）
應有遍，因為公設故。     （同意）
○桌子，應是無常，因為是色蘊故。   （不遍）
應有遍，因為色蘊是無常的部分故。   （不遍）
應有遍，因為公設故。      （同意）

◆引經據典
攻方：物質應是無常，因為經上說：「色無常」故。
守方：〔若經上說：「色無常」，則物質應是無常〕不遍！
攻方：〔若經上說：「色無常」，則物質應是無常〕應有遍，因為經上所說的「色無常」就是「物質是無常」的意義故。
守方：同意！

◆成立大前提的實例
（例A）攻方：聲，應是無常，因為是所作性故。因已許！
守方：不遍。 （因已許＝小前提已同意）
攻方：〔凡是所作性，都是無常〕應有遍，因為所作性是無常的同義字故。 
守方：不遍。
攻方：〔若所作性是無常的同義字，則凡是所作性，都是無常〕應有遍，因為依據同義字的公設故。
守方：同意。
（總計同意）
攻方：凡是所作性，都是無常嗎？
守方：同意。
攻方：聲，應是無常，因為是所作性故。因已許！周遍已許！
守方：同意。 （周遍已許＝大前提已同意）

（例B）攻方：聲，應是無常，因為是刹那生滅的法故。因已許！
守方：不遍。
攻方：〔凡是刹那生滅的法，都是無常〕應有遍，因為刹那生滅的法是無常的定義故。 
守方：不遍。
攻方：〔若刹那生滅的法是無常的定義，則凡是刹那生滅的法，都是無常〕應有遍，因為依據定義的公設故。
守方：同意。
（總計同意）
攻方：凡是刹那生滅的法，都是無常嗎？
守方：同意。
攻方：聲，應是無常，因為是刹那生滅的法故。因已許！周遍已許！
守方：同意。

（例C）攻方：聲，應不是常，因為是無常故。因已許！
守方：不遍。
攻方：〔凡是無常，都不是常〕應有遍，因為無常與常是相違故。 
守方：不遍。
攻方：〔若無常與常是相違，則凡是無常，都不是常〕應有遍，因為依據相違的公設故。
守方：同意。
（總計同意）
攻方：凡是無常，都不是常嗎？
守方：同意。
攻方：聲，應不是常，因為是無常故。因已許！周遍已許！
守方：同意。

（例D1）攻方：聲，應是無常，因為是物質故。因已許！
守方：不遍。
攻方：〔凡是物質，都是無常〕應有遍，因為物質是無常的部分故。 
守方：不遍。
攻方：〔若物質是無常的部分，則凡是物質，都是無常〕應有遍，因為依據部分的公設故。
守方：同意。
（總計同意）
攻方：凡是物質，都是無常嗎？
守方：同意。
攻方：聲，應是無常，因為是物質故。因已許！周遍已許！
守方：同意。

（D）大前題與衍生命題的成立

【1】名標與定義
1攻方：瓶，應是無常，因為是刹那生滅的法故。因已許！
守方：不遍。
攻方：〔凡刹那生滅的法，都是無常〕應有遍，因為＊刹那生滅的法是無常的定義故。
守方：不遍。
攻方：應有遍，因為依據定義的公設故。
守方：同意。
（衍生命題）
1＊攻方：刹那生滅的法應是無常的定義，因為《佛法總綱》說：「無常的定義是刹那生滅的法」故。
守方：同意。
（總計同意）
攻方：凡是刹那生滅的法，都是無常嗎？
守方：同意。
1攻方：瓶，應是無常，因為是刹那生滅的法故。因已許！周遍已許！
  說明：周遍已許＝大前提已同意。
守方：同意。
攻方：完結！

【2】：同義字
2攻方：瓶與柱二實事，應是所知，因為是存有故。因已許！
守方：不遍。
攻方：〔凡是存有，都是所知〕應有遍，因為＊存有是所知的同義字故。
守方：不遍。
攻方：應有遍，因為依據同義字的公設故。
守方：同意。
（衍生命題）
2＊攻方：存有應是所知的同義字，因為《佛法總綱》說：「所知與存有是同義字」故。
守方：同意。
（總計同意）
攻方：凡是存有，都是所知嗎？
守方：同意。
2攻方：瓶與柱二實事，應是所知，因為是存有故。因已許！周遍已許！
守方：同意。
攻方：完結！

【3】：整體與部分
3攻方：身體，應是存在，因為是無常故。因已許！
守方：不遍。
攻方：〔凡是無常，都是存在〕應有遍，因為＊無常是存在的部分故。
守方：不遍。
攻方：應有遍，因為依據部分的公設故。
守方：同意。
（衍生命題）
3＊攻方：無常，應是存在的部分，因為《佛法總綱》說：「存在分常與無常」故。
守方：同意。
（總計同意）
攻方：凡是無常，都是存在嗎？
守方：同意。
3攻方：身體，應是存在，因為是無常故。因已許！周遍已許！
守方：同意。
攻方：完結！

【4】：相違
4攻方：藍玉的顏色，應不是黃色，因為是藍色故。因已許！
守方：不遍。
攻方：〔凡是藍色，都不是黃色〕應有遍，因為＊藍色是與黃色相違故。
守方：不遍。
攻方：應有遍，因為依據相違的公設故。
守方：同意。
（衍生命題）
4＊攻方：藍色應是與黃色相違，因為與藍色為一故。
守方：因不成。
攻方：藍色應與藍色為一，因為依據自身為一的公設故。
守方：同意。
（總計同意）
攻方：凡是藍色，都不是黃色嗎？
守方：同意。
4攻方：藍玉的顏色，應不是黃色，因為是藍色故。因已許！周遍已許！
守方：同意。
攻方：完結！

【5】：因果
5攻方：煙山，應有火，因為有煙故。因已許！
守方：不遍。
攻方：〔有煙則有火〕應有遍，因為＊煙於火是緣生相屬故。
守方：不遍。
攻方：〔若煙於火是緣生相屬，則有煙則有火〕應有遍，因為依據緣生相屬的公設故。
守方：同意。
（衍生命題）
5＊攻方：煙應於火是緣生相屬，因為與煙為一故。
守方：因不成。
攻方：煙應與煙為一，因為依據自身為一的公設故。
守方：同意。
（總計同意）
攻方：有煙則有火嗎？
守方：同意。
5攻方：煙山，應有火，因為有煙故。因已許！周遍已許！
守方：同意。
攻方：完結！

（E）因明立式二輪推論法的實習（屬標準證明題）

目標：熟習小前提與大前提的二輪成立。先對每一根本命題進行二輪檢驗：第一輪檢驗小前提，第二輪檢驗大前提。最後檢驗衍生命題。為了便於區分，基本命題（1）內的其他命題用a,b,c,d等編號。
單一基本命題

說明：先對每一根本命題進行二輪檢驗：第一輪檢驗小前提，第二輪檢驗大前提。最後檢驗衍生命題（＊）。此為證明題。
〔舉例〕
攻方：色蘊，應是存在嗎？
守方：為什麼？
（基本命題）
1攻方：色蘊應是存在，因為是無常故。
守方：因不成。【第一輪守方檢驗小前提】
攻方：色蘊應是無常，因為經上說：「色無常」故。
守方：同意。
1攻方：色蘊應是存在，因為是無常故。因已許！
  說明：此處因已許＝小前提已成立。
守方：不遍。【第二輪檢驗大前提】
攻方：應有遍，因為＊無常是存在的部分故。
守方：不遍。
攻方：應有遍，因為依據部分的公設故。
守方：同意。
（衍生命題）
1＊攻方：無常，應是存在的部分，因為與無常為一故。
守方：同意。
（總計同意）
攻方：凡是無常，都是存在嗎？
守方：同意。
（結論）
1攻方：色蘊，應是存在，因為是無常故。因已許！周遍已許！
守方：同意。
攻方：完結！

〔例一〕
○桌子應是存有嗎？         （為什麼？）
1桌子應是存有，因為是無常故。 【第一輪】  （因不成）
a桌子應是無常，因為是色蘊故。      （因不成）
b桌子應是色蘊，因為是物質故。      （因不成）
c桌子應是物質，因為是物質中的桌子故。 （因不成）
d桌子應是物質中的桌子，因為是與桌子為一故。 （因不成）
桌子應是與桌子為一，因為依據自身為一的公設故。 （同意）
（總計同意）
（所以）桌子應是物質中的桌子嗎？ （同意）
（所以）桌子應是物質嗎？        （同意）
（所以）桌子應是色蘊嗎？       （同意）
（所以）桌子應是無常嗎？         （同意）
1桌子應是存有，因為是無常故。因已許！【第二輪】（不遍）
應有遍，因為＊無常是存有的部分故。   （不遍）
應有遍，因為依據部分的公設故。     （同意）
a桌子應是無常，因為是色蘊故。因已許！  （不遍）
應有遍，因為＊色蘊是無常的部分故。   （不遍）
應有遍，因為依據部分的公設故。    （同意）
b桌子應是色蘊，因為是物質故。因已許！  （不遍）
應有遍，因為＊物質是色蘊的同義字故。   （不遍）
應有遍，因為依據同義字的公設故。   （同意）
c桌子應是物質，因為是物質中的桌子故。因已許！ （不遍）
應有遍，因為＊桌子是物質的部分故。   （不遍）
應有遍，因為依據部分的公設故。    （同意）
d桌子應是物質中的桌子，因為與桌子為一故。因已許！（不遍）
應有遍，因為「與桌子為一」與「物質中的桌子」是同義字故。（不遍）
應有遍，因為依據同義字的公設故。   （同意）
衍生命題的成立（註）：
1＊無常應是存有的部分，因為《佛法總綱》說：「存有分二：常與無常」故。             （同意）
a＊色蘊應是無常的部分，因為《佛法總綱》說：「無常分色蘊、知覺、不相應行」故。         （同意）
b＊物質應是色蘊的同義字，因為《佛法總綱》說：「色蘊與物質是同義字」故。            （同意）
c＊桌子應是物質的部分，因為這是一般所共許故。  （同意）
 說明：以上的因（理由）訴諸聖言量或公設。
（總計同意）
d凡與桌子為一，都是物質中的桌子嗎？ （同意）
c凡是物質中的桌子，都是物質嗎？ （同意）
b凡是物質，都是色蘊嗎？ （同意）
a凡是色蘊，都是無常嗎？ （同意）
1凡是無常，都是存有嗎？ （同意）
（總結）
1桌子應是存有，因為是無常故。因已許！周遍已許！ （同意）
完結！