[translation-eng] {Hopkins} correct consequence which implies a proof check Med for five types??

[definition-bod] mtshan nyidthal 'gyur yang dag gang zhig bzlog don tshul gsum tshang ba

[definition-eng] Def.:that which (1) is a correct consequence and (2) implies its opposite meaning