Consequence observing a result contradictory with a cause and conveying an autonomous sign observing a result contradictory with a cause

གཉིས་པའི་མཚན་གཞི་ཡོད་དེ། དུ་བ་དྲག་ཕྱུར་བས་ཁྱབ་པ་ནོན་པའི་གཞིར་ཆོས་ཅན། དུ་བ་དྲག་ཕྱུར་བས་ཁྱབ་པར་ནོན་པ་མ་ཡིན་པར་ཐལ།
གྲང་འབྲས་སྤུ་ལོང་བྱེད་རྒྱུན་ཆགས་སུ་གནས་པ་ཡོད་པའི་ཕྱིར། ཞེས་པའི་ཐལ་འགྱུར་དེ་དེ་ཡིན་པའི་ཕྱིར།
Illustration: The subject - a place pervaded by billowing smoke - it follows that it is not pervaded by billowing smoke because of the continuous abiding of what creates goosebumps (which is the result of coldness).

ཁྱོད་ཀྱིས་འཕངས་པའི་དུ་བ་དྲག་ཕྱུར་བས་ཁྱབ་པར་ནོན་པ་དེ། དུ་བ་དྲག་ཕྱུར་བས་ཁྱབ་པར་ནོན་པའི་གཞིར།
གྲང་འབྲས་སྤུ་ལོང་བྱེད་རྒྱུན་ཆགས་སུ་གནས་པ་མེད་པར་སྒྲུབ་པར་བྱེད་པའི་རྒྱུ་དང་འགལ་བའི་འབྲས་བུ་དམིགས་པའི་རང་རྒྱུད་ཀྱི་རྟགས་ཡང་དག་ཡིན་པ་གང་ཞིག 
ཁྱོད་རྒྱུ་དང་འགལ་བའི་འབྲས་བུ་དམིགས་པའི་ཐལ་འགྱུར་ཡིན་པའི་ཕྱིར།
This is because:

1. The pervasion by billowing smoke conveyed by that consequence is a correct autonomous sign observing a result contradictory with a cause in the proof that the place pervaded by billowing smoke does not have continuous abiding of what creates goosebumps (which is the result of coldness); and
2. It is a consequence of observation of a result contradictory with a cause.

The second reason is established because:

• The opposite of its predicate is: pervasion by billowing smoke.
  ཁྱོད་ཀྱི་ཆོས་ལོག་ཏུ་དུ་བ་དྲག་ཕྱུར་བས་ཁྱབ་པར་ནོན་པ་དེ་སོང་།
• The cause of that is: pervasion by a great powerful fire.
  དེའི་རྒྱུར་མེ་སྟོབས་ཆེན་པོས་ཁྱབ་པར་ནོན་པ་དེ་སོང་།
• The opposite of that is: continuous abiding of coldness.
  དེ་དང་འགལ་བར་གྲང་རེག་རྒྱུན་ཆགས་སུ་གནས་པ་དེ་སོང་།
• The result of that is: continuous abiding of what creates goosebumps (which is the result of coldness)
  དེའི་འབྲས་བུར་གྲང་འབྲས་སྤུ་ལོང་བྱེད་རྒྱུན་ཆགས་སུ་གནས་པ་དེ་སོང་།
• It is a consequence setting forth "continuous abiding of what creates goosebumps (which is the result of coldness)" as its sign ཁྱོད་གྲང་འབྲས་སྤུ་ལོང་བྱེད་རྒྱུན་ཆགས་སུ་གནས་པ་རྟགས་སུ་བཀོད་པའི་ཐལ་འགྱུར་ཡིན་པའི་ཕྱིར།

Up a level: Correct consequence conveying an opposite of the same type