「その雲脂は手強くなくて異端審問でない」ということは誤りだ
fact1: 「「見回すしその上異端審問である」ということは事実と異なる」ものはある fact2: すべては手強くない fact3: 仮に「「見回すし更に異端審問である」ということは偽な」物はあるとすれば「その雲脂は異端審問でない」ということは偽であるということはない fact4: 「見回すし更に異端審問である」物はある fact5: もしもある物は異端審問でないとすれば「その雲脂は異端審問でない」ということは事実である
fact2 -> int1: その雲脂は手強くない; fact3 & fact1 -> int2: その雲脂は異端審問でない; int1 & int2 -> hypothesis;
$facts$ = fact1: 「「見回すしその上異端審問である」ということは事実と異なる」ものはある fact2: すべては手強くない fact3: 仮に「「見回すし更に異端審問である」ということは偽な」物はあるとすれば「その雲脂は異端審問でない」ということは偽であるということはない fact4: 「見回すし更に異端審問である」物はある fact5: もしもある物は異端審問でないとすれば「その雲脂は異端審問でない」ということは事実である ; $hypothesis$ = 「その雲脂は手強くなくて異端審問でない」ということは誤りだ ; $proof$ = 
fact2 -> int1: その雲脂は手強くない; fact3 & fact1 -> int2: その雲脂は異端審問でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「「見回すしその上異端審問である」ということは事実と異なる」ものはある
事実2: すべては手強くない
事実3: 仮に「「見回すし更に異端審問である」ということは偽な」物はあるとすれば「その雲脂は異端審問でない」ということは偽であるということはない
事実4: 「見回すし更に異端審問である」物はある
事実5: もしもある物は異端審問でないとすれば「その雲脂は異端審問でない」ということは事実である

仮説: 「その雲脂は手強くなくて異端審問でない」ということは誤りだ
1. 事実2から、推論1: "その雲脂は手強くない"が導かれる
2. 事実3と事実1から、推論2: "その雲脂は異端審問でない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。