Correct sign of non-observation of the non-appearing related object in the proof of that

ཁྱོད་དེ་སྒྲུབ་ཀྱི་མི་སྣང་བའི་མ་དམིགས་པའི་རྟགས་ཡང་དག་ཀྱང་ཡིན། མེད་དགག་ཀྱང་ཡིན་པའི་གཞི་མཐུན་པ།
མི་སྣང་བའི་འབྲེལ་ཟླ་མ་དམིགས་པའི་རྟགས་ཡང་དག་གི་མཚན་ཉིད།
Definition:
That which is the common locus of x being:

1. the correct sign of non-observation of the non-appearing in the proof of that;
2. a non-implicative negation.

Divisions:

1. Correct sign of non-observation of a non-appearing cause རྒྱུ།
2. Correct sign of non-observation of a non-appearing pervader ཁྱབ་བྱེད།
3. Correct sign of non-observation of a non-appearing nature རང་བཞིན།

Illustrations:
མདུན་གྱི་གཞི་འདིར་ཆོས་ཅན། ཤ་ཟ་བསྐལ་དོན་དུ་སོང་བའི་གང་ཟག་གི་རྒྱུད་ལ་ཤ་ཟ་ངེས་པའི་དཔྱད་ཤེས་དོན་མཐུན་མེད་དེ།
ཤ་ཟ་བསྐལ་དོན་དུ་སོང་བའི་གང་ཟག་གི་རྒྱུད་ལ་ཤ་ཟ་དམིགས་བྱེད་ཀྱི་ཚད་མ་མེད་པའི་ཕྱིར།
Taking the subject - in the space in front - a factually concordant subsequent cogniser ascertaining a meat-eater (there) does not exist in the continuum of a person for whom a meat-eater is a suprasensory object because a valid cogniser observing a meat-eater (there) does not exist in the continuum of a person for whom a meat-eater is a suprasensory object.

i.e. the result does not exist because its cause does not.

མདུན་གྱི་གཞི་འདིར་ཆོས་ཅན། ཤ་ཟ་བསྐལ་དོན་དུ་སོང་བའི་གང་ཟག་གིས་ཤ་ཟ་ཡོད་ཅེས་དམ་བཅའ་མི་རིགས་ཏེ།
ཤ་ཟ་ཡོད་པ་ལ་བསྐལ་དོན་དུ་སོང་བའི་གང་ཟག་གིས་ཤ་ཟ་ཡོད་པ་ཚད་མས་མ་དམིགས་པའི་ཕྱིར།
Taking the subject - in the space in front - it is unsuitable for a person for whom a meat-eater is a suprasensory object to assert that a meat-eater exists (there) because the existence of a meat-eater (there) is not observed by valid cognition by a person for whom the existence of a meat-eater is a suprasensory object.

i.e. the pervaded (the suitability to assert the existence of meat-eater) is refuted because the pervader (observation by valid cognition of the existence of meat-eater) does not occur.

མདུན་གྱི་གཞི་འདིར་ཆོས་ཅན། ཤ་ཟ་བསྐལ་དོན་དུ་སོང་བའི་གང་ཟག་གི་རྒྱུད་ལ་ཤ་ཟ་ངེས་བྱེད་ཀྱི་དཔྱད་ཤེས་དོན་མཐུན་མེད་དེ།
ཤ་ཟ་བསྐལ་དོན་དུ་སོང་བའི་གང་ཟག་གི་རྒྱུད་ལ་ཤ་ཟ་ངེས་བྱེད་ཀྱི་དཔྱད་ཤེས་དོན་མཐུན་ཚད་མས་མ་དམིགས་པའི་ཕྱིར།
Taking the subject - in the space in front - a factually concordant subsequent cogniser ascertaining a meat-eater (there) does not exist in the continuum of a person for whom a meat-eater is a suprasensory object because a factually concordant subsequent cogniser ascertaining a meat-eater (there) is not observed by valid cognition in the continuum of such a person.

i.e. since the existence of that subsequent cogniser and it being observed by valid cognition are same nature.

See: object designated as the property of the negandum

Up a level: Correct sign of non-observation of the non-appearing