Consequence observing a pervaded contradictory with a pervader and conveying an autonomous sign observing a pervaded contradictory with a pervader
གསུམ་པའི་མཚན་གཞི་ཡོད་དེ། ཙན་དན་གྱི་མེ་སྟོབས་ཆེན་པོས་ཁྱབ་པར་ནོན་པའི་གཞིར་ཆོས་ཅན།
ཙན་དན་གྱི་མེ་སྟོབས་ཆེན་པོས་ཁྱབ་པར་ནོན་པ་མ་ཡིན་པར་ཐལ། ཁ་བའི་རེག་པ་རྒྱུན་ཆགས་སུ་གནས་པ་ཡོད་པའི་ཕྱིར། ཞེས་པའི་ཐལ་འགྱུར་དེ་དེ་ཡིན་པའི་ཕྱིར།
Illustration: The subject - a place pervaded by a great powerful sandalwood fire - it follows that it is not pervaded by a great powerful sandalwood fire because of the continuously abiding frostiness.
ཁྱོད་ཀྱིས་འཕངས་པའི་ཙན་དན་གྱི་མེ་སྟོབས་ཆེན་པོས་ཁྱབ་པར་ནོན་པ་དེ། ཙན་དན་གྱི་མེ་སྟོབས་ཆེན་པོས་ཁྱབ་པར་ནོན་པའི་གཞིར།
ཁ་བའི་རེག་པ་རྒྱུན་ཆགས་སུ་གནས་པ་མེད་པར་སྒྲུབ་པར་བྱེད་པའི་ཁྱབ་བྱེད་དང་འགལ་བའི་ཁྱབ་བྱ་དམིགས་པའི་རང་རྒྱུད་ཀྱི་རྟགས་ཡང་དག་ཡིན་པ་གང་ཞིག
ཁྱོད་ཁྱབ་བྱེད་དང་འགལ་བའི་ཁྱབ་བྱ་དམིགས་པའི་ཐལ་འགྱུར་ཡིན་པའི་ཕྱིར།
This is because:
- the pervasion by a great powerful sandalwood fire conveyed by that consequence is a correct autonomous sign observing a pervaded contradictory with the pervader in the proof that the place pervaded by a great powerful sandalwood fire does not have continuously abiding frostiness; and
- It is a consequence of observation of a pervaded contradictory with the pervader.
The second reason is established because:
- The opposite of its predicate is: pervasion by a great powerful sandalwood fire.
ཁྱོད་ཀྱི་ཆོས་ལོག་ཏུ་ཙན་དན་གྱི་མེ་སྟོབས་ཆེན་པོས་ཁྱབ་པར་ནོན་པ་དེ་སོང་། - The pervader of that is: pervasion by a great powerful fire. Because it is the generality of that.
དེའི་ཁྱབ་བྱེད་དུ་མེ་སྟོབས་ཆེན་པོས་ཁྱབ་པར་ནོན་པ་དེ་སོང་། དེ་དེའི་སྤྱི་ཡིན་པའི་ཕྱིར། - The opposite of that is: continuously abiding coldness.
དེ་དང་འགལ་བར་གྲང་རེག་རྒྱུན་ཆགས་སུ་གནས་པ་དེ་སོང་། - The pervaded of that is: continuously abiding frostiness. Because it is an instance of that.
དེའི་ཁྱབ་བྱར་ཁ་བའི་རེག་པ་རྒྱུན་ཆགས་སུ་གནས་པ་དེ་སོང་། དེ་དེའི་བྱེ་བྲག་ཡིན་པའི་ཕྱིར། - It is a consequence setting forth "continuously abiding frostiness" as its sign.
ཁྱོད་ཁ་བའི་རེག་པ་རྒྱུན་ཆགས་སུ་གནས་པ་རྟགས་སུ་བཀོད་པའི་ཐལ་འགྱུར་ཡིན་པའི་ཕྱིར།
Up a level: Correct consequence conveying an opposite of the same type