Correct consequence conveying an opposite of the same type

ཐལ་འགྱུར་ཡང་དག་གང་ཞིག ལྡོག་པ་རང་རྒྱུད་རང་དང་རིགས་གཅིག་པ་འཕེན་པ་དེ། ལྡོག་པ་རང་རིགས་འཕེན་པའི་ཐལ་འགྱུར་ཡང་དག་གི་མཚན་ཉིད།
Definition: That which is:

1. A correct consequence; and
2. Conveys a reverse autonomous sign of the same type.

Divisions:

1. Consequence observing a nature contradictory with a nature and conveying an autonomous sign observing a nature contradictory with a nature
   རང་བཞིན་དང་འགལ་བའི་རང་བཞིན་དམིགས་པའི་རང་རྒྱུད་འཕེན་པའི་རང་བཞིན་དང་འགལ་བའི་རང་བཞིན་དམིགས་པའི་ཐལ་འགྱུར།
2. Consequence observing a result contradictory with a cause and conveying an autonomous sign observing a result contradictory with a cause
   རྒྱུ་དང་འགལ་བའི་འབྲས་བུ་དམིགས་པའི་རང་རྒྱུད་འཕེན་པའི་རྒྱུ་དང་འགལ་བའི་འབྲས་བུ་དམིགས་པའི་ཐལ་འགྱུར།
3. Consequence observing a pervaded contradictory with a pervader and conveying an autonomous sign observing a pervaded contradictory with a pervader
   ཁྱབ་བྱེད་དང་འགལ་བའི་ཁྱབ་བྱ་དམིགས་པའི་རང་རྒྱུད་འཕེན་པའ་ཁྱབ་བྱེད་དང་འགལ་བའི་ཁྱབ་བྱ་དམིགས་པའི་ཐལ་འགྱུར།
4. Consequence observing an opposite pervasion and conveying an autonomous sign observing an opposite pervasion འགལ་ཁྱབ་དམིགས་པའི་རང་རྒྱུད་འཕེན་པའི་འགལ་ཁྱབ་དམིགས་པའི་ཐལ་འགྱུར།

Up a level: Correct consequence conveying a proof or autonomous sign