Correct sign of observation of the non-appearing contradictory 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. either an implicative negation or a positive phenomenon.

Illustration:
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 it is existent.
མདུན་གྱི་གཞི་འདིར་ཆོས་ཅན། ཤ་ཟ་བསྐལ་དོན་དུ་སོང་བའི་གང་ཟག་གིས་རྒྱུད་ལ་ཤ་ཟ་ངེས་བྱེད་ཀྱི་དཔྱད་ཤེས་དོན་མཐུན་མེད་དེ། ཡོད་པ་ཡིན་པའི་ཕྱིར།

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