有人將不成對不定為四句云。有不成因非不定。即四不成。有不定因非不成。即五不定。或唯第四。俱句即第六。亦可取初及二三五四相違因。其義云何。答理全不然。所聞雖不成。而自名不定。又前自云。雖是不成。何妨不定。如不共不定等。故初句非。不共既不定。與所聞何殊。即許非不成。唯是前不定。若言所聞同非有。故得是不成。亦所聞性遍宗。何得不成攝。若言非遍宗。自教等違攝俱句。即第六所作豈不成。所聞性如前。亦非不成攝。如第四無常因。即唯不定非不成。第三亦是無常因。何故即為俱句攝。又四相違因。如立聲常所作性故。豈聲非有。亦俱句耶。又假問云。缺減過雖七。闕異不成過。何妨作法。具初闕后二。就理中即無。即解云。誰言闕異非過。若有不引。理是闕減。若無異濫除。亦名為具。故不相似。此亦不然。前自數立。如緣生因。闕異非過。如何今說無異濫除。亦名為具。即緣生因三相具足。破他引之為闕。自立即云具足。如何于法得自在耶

又云。誰言缺過望因三相。此亦不然。如闕同有等。豈非是過耶。故尋諸解。竟無一當。亦應更思

有人解四相違敘古人釋。言顯意許。為自性差別。云理恐不然。即申難云。如他用為言顯。真他為意許。因為違差別。亦應有性為言顯。離實大有是意許。應名差別非自相。此既不然。故彼釋非者。其義如何。答此亦未詳。如有法自相差別。至后當知。且此法差別。若非意許。豈言顯耶。又敘舊通。如軌法師疏。即難云。五頂弟子。豈可自難實等不無之宗。令成非有也。此乃自違。何成出過者。此亦不然。本立宗云。有性為宗有法。非實等為宗法。今弟子翻難云。汝有應非有。有一實故。如同異。此豈難實等不無耶。既言非實。明離實有。難彼成非有。故不是自違。又難。若云數論他用含真假。真他受用義雖無。眼等他用宗不失者。亦應五頂有性含即離。離實之有宗雖無。即實之有宗不失。應名差別相違。非自相者。此亦不然。誰言五頂有性含即離。以五頂有唯離實等。弟子立有。唯即實等。故言有時。望自望他。俱不得含。以同異性離實等。得成非實等。以同異性不名有故。成有非有。名俱決定。彼實等雖體不無。而不名有。何故如是是宗計故。若五頂實等。亦名有者。豈成自相相違。返彼量云。有應非有。有一實等故。如同異性。同異性名有。何得成相違。諸過類知。又五頂若許有即實等有。今總成非實等。豈非自違。故知。五頂不立即實等有。三解自相差別。第三云。隨應何法談其自體性者。說名自相。即于此法所有別義者。名為差別。此解不違。古德意云。以爭彼差別。必非言顯。但意所許。不障自相亦有意許。通言顯故。故云言陳者名自相。意所爭者名差別。若云依第三解。以法有法。各有自體及以別義者。如立聲無常。有部可有別體。大乘如何無常等各有別體復俱不離色等自相。何緣名體。何緣名義。何故有為之上生滅等。名有自體。常住無為不遷不滅等。即名別義

又釋自性差別有三重。初二如舊。第三云。談其自性名自相。談其別義名差別。復云法與有法。各有自體。及以別義。既稱別義。何得云有法。即差別等義屬于體。應說之差別。若言即有法。故不得說之。云何言此之別義。亦有自體。既許有多義。故應依主。應可更思。若以聲瓶等異為差別。不得云別義。若即聲等體上有別義。不應云各有體。又云。相違有三。一自體相違。如言常非常等。二形待相違。如言真假等。三性別相違。如言色心等。又云。言詮有二。一遮。二表。如立有非有。即自體相違。第一遮詮。如言真他假他。即但表真假。不非真假。此即義別相形。名差別相違。乃至自問云。若義別相違。名差別相違者。即如論中作非有緣性。亦非有緣性之自體。應名自相。非差別也（上自問也）此問元非有緣性是別義。作非有緣性。即義相違。何名自相。若此亦名自相。自相差別。有何殊異。又論云差別。何得稱自相。若云此之別義。亦有別體。既有自體。何名談自性談別義。又如聲瓶可燒可見等。豈離聲瓶。外有別體。然自解云。不然。若言非作有緣性者。即是正非有緣性之自體。論中既說作非有緣性。作非有緣性言。此乃別表緣余也。此釋不然。此中為爭作所緣境。為爭能緣有心。若言爭能緣心。自是別法。豈名有法差別。若言大有。是緣大有心境性。不是緣有心之境性。此是有法差別。今爭大有。與能緣有心作境性。不作緣有心境性。因與作緣有心之境性。相違作非緣有之心境性。為因名差別相違因。何得云此乃別表緣余性。若言別表緣余性。便是難能緣心。不難有法之上差別義。又更解云。或可。不成自違。緣有之心。應非緣有心。但非有緣心。不表緣余性。故名自相非差別。今論說言。作非有緣性。雖非緣有之自體。緣余之義心不失。此即緣有緣余。是別義故。故非自相名差別。此亦不然。論云。即于前宗之上。作有緣性。即是許有是緣有。心所取境性。豈成于心能緣于有名差別。若云成緣有心。豈得云以有一實故等因。成心為能緣有即。翻彼云。緣非有如同異性。同異性豈是能緣。云緣余之義心不失耶。又解三相違中。第三性別相違。與初自體相違何別。又云。一遮詮如言非有非無非人非天無我無常等。但遮有等。不表非有之體。若爾。如立聲無常。豈但遮常。不表無常之體耶。既許無常亦遮亦表。何得言非但是遮。非之與無義相似故。既許詮中亦有遮。如何得言真詮。只應言有表必遮詮。有遮非表詮。又釋云。若但言非有。不言非無。即是唯遮。即自引佛地等。為難云。如來功德非有非無。自通云。般若雙言方有其表者。此與唯識。亦有相違。第一中云。若言是表。應不雙非。故相違也。又云。今但約自體相違。名自相相違。不據言顯。豈立有時。言中不顯有耶。若云元不說大有。但詮不無有。此有相符。又因同有。豈是名相違。又言既不申大有。元不立大有為有法。云何因望于彼名相違。若既言陳。如何得言不據言顯

釋法差別相違中自云。同無異有。方是相違。此因同有龜毛遍無何名相違。答云。此中外道。雖總言他用。意成眼等為無積他用。據此即無同。除宗已外。諸臥具等。皆不為無積他用。即為異品。因彼遍轉。故是相違。此釋不然。唯識論云。執我是思。受用薩埵賴阇答摩所成。大等二十三法。云何但許受用五知。不受用余。故此釋非。又云。二細微共生一粗。所生子微。不越因量。裹前二細。而別有體。此亦不然。果遍在因中。非果裹父母。如唯識論辨

解有法自相中云。有人云。既違意許。應是差別。何名自相。答言有性者。意詮離實等有為有法自相。然以有法須極成故。不可別云離實等有。故雖意許。而是言顯。自相宗不同作有緣性。是離實等。有差別之義。為意所許差別宗也。難云。此解不然。若以今言有性。意許離實有為有法。有法須極成。不言離實有。雖是意許。而名為言顯者。亦應意詮真他用。能別須極成。不言真他用。雖是意許。而名言顯。亦應是自相非差別。故約言顯意許。解自相差別者。未為當理（上他敘難）今共詳云。若彼大有意許離實。今言有時。不即詮彼大有者。豈詮即實等有。若詮即實等有。五頂成非實等。亦違自弟子成非有。亦自違。若非言所顯。何故尋言難。又五頂不許即實等有。弟子不許離實等有。今者言中。恐有法不成。不言大有。但總云有。有言雖通。豈顯即實有。設若五頂。許即實有。今言即實有。云非實等。是自違過。況復本意。爭大有句。何須詮即實。以五頂不許有即實有。故言有時。即顯大有句。若直言大有。有法不成。為此但言有性。泛爾言有。彼此俱成。以為有法。不須分別即離。言非實等為法。以弟子有即實。今言非實。違他順己。故得為宗。由此故知。離實等有。雖是意許。言有之時。即言所顯。離言所顯有。外更無別有。不同他用離真他外。有假他用。真他他雖不成。假他他自同許。故。成真他不用眼等。假他用在不違言顯。故違差別