もし「このＮＴＰは見易いけれど取り辛くない」ということは成り立たないならば「それは不漏である」ということは間違っていない
fact1: もし「なんらかの物は見易いがそれは取り辛いということはない」ということは本当でないとすると不漏だ
$facts$ = fact1: もし「なんらかの物は見易いがそれは取り辛いということはない」ということは本当でないとすると不漏だ ; $hypothesis$ = もし「このＮＴＰは見易いけれど取り辛くない」ということは成り立たないならば「それは不漏である」ということは間違っていない ; $proof$ = 
事実1: もし「なんらかの物は見易いがそれは取り辛いということはない」ということは本当でないとすると不漏だ

仮説: もし「このＮＴＰは見易いけれど取り辛くない」ということは成り立たないならば「それは不漏である」ということは間違っていない