Correct consequence not conveying a proof

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

1. A correct consequence; and
2. Its reverse-meaning does not fulfil the three modes.

སྒྲ་ཆོས་ཅན། མི་རྟག་པ་ཡིན་པར་ཐལ། བྱས་པ་ཡིན་པའི་ཕྱིར། ཞེས་པའི་ཐལ་འགྱུར་ལྟ་བུ།
Illustration: The subject - sound - it follows that it is impermanent because of being a product.

Up a level: Correct consequence