「もし「あの四句偈は高脂でないし鎮圧するということはない」ということは成り立たないとしたら「あの四句偈は保存し直す」ということは確かである」ということは事実と異なる
fact1: もし仮に「なんらかの物は高脂でなくてまたそれは鎮圧しない」ということは成り立たないならば保存し直す
$facts$ = fact1: もし仮に「なんらかの物は高脂でなくてまたそれは鎮圧しない」ということは成り立たないならば保存し直す ; $hypothesis$ = 「もし「あの四句偈は高脂でないし鎮圧するということはない」ということは成り立たないとしたら「あの四句偈は保存し直す」ということは確かである」ということは事実と異なる ; $proof$ = 
事実1: もし仮に「なんらかの物は高脂でなくてまたそれは鎮圧しない」ということは成り立たないならば保存し直す

仮説: 「もし「あの四句偈は高脂でないし鎮圧するということはない」ということは成り立たないとしたら「あの四句偈は保存し直す」ということは確かである」ということは事実と異なる