「あの多重曲率半径は示し易くない」ということは成り立つ
fact1: 仮になにがしかのものはスーパーバッドであるならば予告しない fact2: この塹壕は裁判記事でない fact3: 「その預け入れは折り詰めでないけど花開く」ということは成り立たない fact4: もし「「折り詰めでないが花開く」ということは事実でない」ものがあるならあの多重曲率半径は示し易い fact5: 「なにがしかの物はもどかしいし予告する」ということは嘘ならば礼儀正しくない fact6: もし「何らかの物は崩れ易い」ということは成り立つなら「スーパーバッドである」ということは成り立つ fact7: もし仮にこの塹壕は裁判記事でないならば保持増進するしその上崩れ易い fact8: もしあのアザチオプリンが礼儀正しくないとすればあの多重曲率半径は示し易くない
fact3 -> int1: 「「折り詰めだということはないが花開く」ということは誤りである」物はある; int1 & fact4 -> hypothesis;
あの多重曲率半径は示し易くない
fact14 -> int2: もし「あのアザチオプリンはもどかしくてかつ予告する」ということは成り立つということはないとしたら礼儀正しいということはない; fact10 -> int3: 仮にこの塹壕はスーパーバッドであるならば予告しない; fact12 -> int4: この塹壕が崩れ易いならそれはスーパーバッドだ; fact11 & fact13 -> int5: この塹壕は保持増進するしそれに崩れ易い; int5 -> int6: この塹壕は崩れ易い; int4 & int6 -> int7: この塹壕はスーパーバッドである; int3 & int7 -> int8: 「この塹壕は予告するということはない」ということは成り立つ; int8 -> int9: 「予告しない」物はある;
$facts$ = fact1: 仮になにがしかのものはスーパーバッドであるならば予告しない fact2: この塹壕は裁判記事でない fact3: 「その預け入れは折り詰めでないけど花開く」ということは成り立たない fact4: もし「「折り詰めでないが花開く」ということは事実でない」ものがあるならあの多重曲率半径は示し易い fact5: 「なにがしかの物はもどかしいし予告する」ということは嘘ならば礼儀正しくない fact6: もし「何らかの物は崩れ易い」ということは成り立つなら「スーパーバッドである」ということは成り立つ fact7: もし仮にこの塹壕は裁判記事でないならば保持増進するしその上崩れ易い fact8: もしあのアザチオプリンが礼儀正しくないとすればあの多重曲率半径は示し易くない ; $hypothesis$ = 「あの多重曲率半径は示し易くない」ということは成り立つ ; $proof$ = 
fact3 -> int1: 「「折り詰めだということはないが花開く」ということは誤りである」物はある; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかのものはスーパーバッドであるならば予告しない
事実2: この塹壕は裁判記事でない
事実3: 「その預け入れは折り詰めでないけど花開く」ということは成り立たない
事実4: もし「「折り詰めでないが花開く」ということは事実でない」ものがあるならあの多重曲率半径は示し易い
事実5: 「なにがしかの物はもどかしいし予告する」ということは嘘ならば礼儀正しくない
事実6: もし「何らかの物は崩れ易い」ということは成り立つなら「スーパーバッドである」ということは成り立つ
事実7: もし仮にこの塹壕は裁判記事でないならば保持増進するしその上崩れ易い
事実8: もしあのアザチオプリンが礼儀正しくないとすればあの多重曲率半径は示し易くない

仮説: 「あの多重曲率半径は示し易くない」ということは成り立つ
1. 事実3から、推論1: "「「折り詰めだということはないが花開く」ということは誤りである」物はある"が導かれる
2. 推論1と事実4から、仮説が否定される

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