因明入正理論疏 2.47

2.47

述曰：第四文也。牒前異喻，後指法云：「若是其常」，離所立宗；「見非所作」，離能立因；「如虛空者」，指異喻依。此指於前宗、因二濫名遠離言。遠宗離因、或通遠離，或體疎名遠，義乖名離，與所能立，體相疎遠，義理乖絕，故名遠離。

The commentary says: This is the fourth text. Taking up the previous negative example, it then points out the rule, saying: 'Whatever is permanent' excludes the thesis to be established; 'is seen to be unproduced' excludes the proving reason; 'like space' points to the locus of the negative example. This points to the exclusion of confusion regarding the preceding thesis and reason, and is called the statement of exclusion (vyatireka). It excludes the thesis and departs from the reason, or it applies to exclusion generally; or 'far' (遠) means that their substances are distant, and 'depart' (離) means that their meanings diverge: because they are distant in substance from what is established and what proves, and their principles are mutually contrary, it is called exclusion.