そのハイハーバーは塞き止めるししかも熟成する
fact1: 「なにかは初経だ」ということは成り立つ fact2: もしもその円内は銜え込まないとすれば「それは襲撃事件である」ということは正しい fact3: 「「悲しないしかつ熟成する」ということは間違いな」物はある fact4: もしあの後方支援が襲撃事件でないとするとあの基準以上は銜え込むということはない fact5: 何かは悲しないししかも熟成するということはない fact6: 仮にその円内が選定出来ない一方でそれが襲撃事件だとするとあの基準以上はナンセンスだ fact7: 「「悲しが熟成するということはない」ということは事実でない」物はある fact8: 「もしその円内は初経でないならば「そのハイハーバーは塞き止めるし熟成する」ということは成り立たない」ということは成り立つ fact9: その円内は襲撃事件である fact10: 「「悲しないし熟成するということはない」ということは成り立たない」物はある fact11: 仮にその円内が銜え込まないとするとそれは選定出来ないし更にそれは襲撃事件だ fact12: もしもあの基準以上が選定出来なくてその上初経でないとすればその円内は初経でない fact13: もし仮になんらかのものが初経でないならその円内は銜え込むということはない fact14: 仮に「「悲し」ということは嘘でない」物があるならそのハイハーバーは熟成する fact15: もしもそのハイハーバーが嘆願書ならば塞き止める fact16: もしあの基準以上がナンセンスだとすればそのハイハーバーは嘆願書だ fact17: 「初経でない」ものはある fact18: もし「「悲しないしその上熟成するということはない」ということは間違っている」ものがあるならそのハイハーバーは熟成する
fact17 & fact13 -> int1: その円内は銜え込まない; int1 & fact11 -> int2: その円内は選定出来るということはないけど襲撃事件である; int2 & fact6 -> int3: あの基準以上はナンセンスだ; int3 & fact16 -> int4: そのハイハーバーは嘆願書である; int4 & fact15 -> int5: そのハイハーバーは塞き止める; fact10 & fact18 -> int6: そのハイハーバーは熟成する; int5 & int6 -> hypothesis;
「そのハイハーバーは塞き止めるし更に熟成する」ということは本当でない
$facts$ = fact1: 「なにかは初経だ」ということは成り立つ fact2: もしもその円内は銜え込まないとすれば「それは襲撃事件である」ということは正しい fact3: 「「悲しないしかつ熟成する」ということは間違いな」物はある fact4: もしあの後方支援が襲撃事件でないとするとあの基準以上は銜え込むということはない fact5: 何かは悲しないししかも熟成するということはない fact6: 仮にその円内が選定出来ない一方でそれが襲撃事件だとするとあの基準以上はナンセンスだ fact7: 「「悲しが熟成するということはない」ということは事実でない」物はある fact8: 「もしその円内は初経でないならば「そのハイハーバーは塞き止めるし熟成する」ということは成り立たない」ということは成り立つ fact9: その円内は襲撃事件である fact10: 「「悲しないし熟成するということはない」ということは成り立たない」物はある fact11: 仮にその円内が銜え込まないとするとそれは選定出来ないし更にそれは襲撃事件だ fact12: もしもあの基準以上が選定出来なくてその上初経でないとすればその円内は初経でない fact13: もし仮になんらかのものが初経でないならその円内は銜え込むということはない fact14: 仮に「「悲し」ということは嘘でない」物があるならそのハイハーバーは熟成する fact15: もしもそのハイハーバーが嘆願書ならば塞き止める fact16: もしあの基準以上がナンセンスだとすればそのハイハーバーは嘆願書だ fact17: 「初経でない」ものはある fact18: もし「「悲しないしその上熟成するということはない」ということは間違っている」ものがあるならそのハイハーバーは熟成する ; $hypothesis$ = そのハイハーバーは塞き止めるししかも熟成する ; $proof$ = 
fact17 & fact13 -> int1: その円内は銜え込まない; int1 & fact11 -> int2: その円内は選定出来るということはないけど襲撃事件である; int2 & fact6 -> int3: あの基準以上はナンセンスだ; int3 & fact16 -> int4: そのハイハーバーは嘆願書である; int4 & fact15 -> int5: そのハイハーバーは塞き止める; fact10 & fact18 -> int6: そのハイハーバーは熟成する; int5 & int6 -> hypothesis; __PROVED__
事実1: 「なにかは初経だ」ということは成り立つ
事実2: もしもその円内は銜え込まないとすれば「それは襲撃事件である」ということは正しい
事実3: 「「悲しないしかつ熟成する」ということは間違いな」物はある
事実4: もしあの後方支援が襲撃事件でないとするとあの基準以上は銜え込むということはない
事実5: 何かは悲しないししかも熟成するということはない
事実6: 仮にその円内が選定出来ない一方でそれが襲撃事件だとするとあの基準以上はナンセンスだ
事実7: 「「悲しが熟成するということはない」ということは事実でない」物はある
事実8: 「もしその円内は初経でないならば「そのハイハーバーは塞き止めるし熟成する」ということは成り立たない」ということは成り立つ
事実9: その円内は襲撃事件である
事実10: 「「悲しないし熟成するということはない」ということは成り立たない」物はある
事実11: 仮にその円内が銜え込まないとするとそれは選定出来ないし更にそれは襲撃事件だ
事実12: もしもあの基準以上が選定出来なくてその上初経でないとすればその円内は初経でない
事実13: もし仮になんらかのものが初経でないならその円内は銜え込むということはない
事実14: 仮に「「悲し」ということは嘘でない」物があるならそのハイハーバーは熟成する
事実15: もしもそのハイハーバーが嘆願書ならば塞き止める
事実16: もしあの基準以上がナンセンスだとすればそのハイハーバーは嘆願書だ
事実17: 「初経でない」ものはある
事実18: もし「「悲しないしその上熟成するということはない」ということは間違っている」ものがあるならそのハイハーバーは熟成する

仮説: そのハイハーバーは塞き止めるししかも熟成する
1. 事実17と事実13から、推論1: "その円内は銜え込まない"が導かれる
2. 推論1と事実11から、推論2: "その円内は選定出来るということはないけど襲撃事件である"が導かれる
3. 推論2と事実6から、推論3: "あの基準以上はナンセンスだ"が導かれる
4. 推論3と事実16から、推論4: "そのハイハーバーは嘆願書である"が導かれる
5. 推論4と事実15から、推論5: "そのハイハーバーは塞き止める"が導かれる
6. 事実10と事実18から、推論6: "そのハイハーバーは熟成する"が導かれる
7. 推論5と推論6から、仮説が導かれる

よって、仮説が証明されました。