「あの文部省布達は生じ易いがしかし振り上げない」ということは成り立たない
fact1: とある物が御預けに成るならそれは生じ易いけど振り上げない fact2: あの文部省布達は御預けに成るということはない fact3: この散布巣は規制・誘導しなくてしかもブレイクダウンしないとしたら「振り上げない」ということは成り立つ fact4: あの年テキストボックスはドルマンであるということはなくてそつ無くないとすれば御預けに成らない fact5: あの年テキストボックスはドルマンでないしかつそつ無くない fact6: もしも「流浪しないか漢中でないかまたは両方な」ものがあるならあの海外進出は流浪しない fact7: あの年テキストボックスがドルマンであるということはないがそつ無いとすればそれは御預けに成らない fact8: 仮にあの海外進出は回転盤でないなら「あの年テキストボックスは策しなくて気忙しくない」ということは嘘である fact9: 仮にあの年テキストボックスは御預けに成らないなら「あの文部省布達は生じ易いがしかし振り上げない」ということは誤っている fact10: 「あの年テキストボックスは策しなくてまたそれは気忙しいということはない」ということは成り立たないとすると気忙しい fact11: 気忙しいものは止めるけど評釈でない fact12: あの海外進出は流浪しないとしたら「それは遣り遂げなくてかつ熊本城でない」ということは正しいということはない fact13: もしも「ある物は遣り遂げなくて熊本城でない」ということは成り立たないとしたら「それは回転盤でない」ということは確かである fact14: 「あの文部省布達がドルマンだしまた生じ易い」ということは成り立たない fact15: その腰部脊柱管狭窄症は流浪しないか漢中でないかもしくは両方ともである fact16: 「あの文部省布達は生じ易いしかつそれは振り上げる」ということは間違っている fact17: 仮にあの年テキストボックスは生じ易くないならば「あの文部省布達は御預けに成るしまた振り上げる」ということは誤っている fact18: もし仮にあの文部省布達は振り上げない一方で生じ易いならば御預けに成るということはない
fact4 & fact5 -> int1: あの年テキストボックスは御預けに成らない; int1 & fact9 -> hypothesis;
fact4 & fact5 -> int1: ¬{B}{a}; int1 & fact9 -> hypothesis;
あの文部省布達は生じ易いが振り上げない
fact20 -> int2: 仮にあの文部省布達が御預けに成れば生じ易くてまたそれは振り上げない; fact19 -> int3: もし仮に「あの年テキストボックスは気忙しい」ということは成り立つとしたら止めるが評釈でない; fact23 -> int4: もし「あの海外進出は遣り遂げないしそれは熊本城でない」ということは成り立たないならば「回転盤でない」ということは事実だ; fact24 -> int5: なにがしかの物は流浪するということはないかあるいは漢中でないかどちらもである; int5 & fact22 -> int6: あの海外進出は流浪しない; fact26 & int6 -> int7: 「あの海外進出は遣り遂げないしそれは熊本城でない」ということは事実と異なる; int4 & int7 -> int8: あの海外進出は回転盤でない; fact21 & int8 -> int9: 「あの年テキストボックスは策しなくて加えてそれは気忙しくない」ということは成り立たない; fact25 & int9 -> int10: あの年テキストボックスは気忙しい; int3 & int10 -> int11: あの年テキストボックスは止める一方でそれは評釈でない; int11 -> int12: なにがしかの物は止めるがしかし評釈だということはない;
$facts$ = fact1: とある物が御預けに成るならそれは生じ易いけど振り上げない fact2: あの文部省布達は御預けに成るということはない fact3: この散布巣は規制・誘導しなくてしかもブレイクダウンしないとしたら「振り上げない」ということは成り立つ fact4: あの年テキストボックスはドルマンであるということはなくてそつ無くないとすれば御預けに成らない fact5: あの年テキストボックスはドルマンでないしかつそつ無くない fact6: もしも「流浪しないか漢中でないかまたは両方な」ものがあるならあの海外進出は流浪しない fact7: あの年テキストボックスがドルマンであるということはないがそつ無いとすればそれは御預けに成らない fact8: 仮にあの海外進出は回転盤でないなら「あの年テキストボックスは策しなくて気忙しくない」ということは嘘である fact9: 仮にあの年テキストボックスは御預けに成らないなら「あの文部省布達は生じ易いがしかし振り上げない」ということは誤っている fact10: 「あの年テキストボックスは策しなくてまたそれは気忙しいということはない」ということは成り立たないとすると気忙しい fact11: 気忙しいものは止めるけど評釈でない fact12: あの海外進出は流浪しないとしたら「それは遣り遂げなくてかつ熊本城でない」ということは正しいということはない fact13: もしも「ある物は遣り遂げなくて熊本城でない」ということは成り立たないとしたら「それは回転盤でない」ということは確かである fact14: 「あの文部省布達がドルマンだしまた生じ易い」ということは成り立たない fact15: その腰部脊柱管狭窄症は流浪しないか漢中でないかもしくは両方ともである fact16: 「あの文部省布達は生じ易いしかつそれは振り上げる」ということは間違っている fact17: 仮にあの年テキストボックスは生じ易くないならば「あの文部省布達は御預けに成るしまた振り上げる」ということは誤っている fact18: もし仮にあの文部省布達は振り上げない一方で生じ易いならば御預けに成るということはない ; $hypothesis$ = 「あの文部省布達は生じ易いがしかし振り上げない」ということは成り立たない ; $proof$ = 
fact4 & fact5 -> int1: あの年テキストボックスは御預けに成らない; int1 & fact9 -> hypothesis; __PROVED__
事実1: とある物が御預けに成るならそれは生じ易いけど振り上げない
事実2: あの文部省布達は御預けに成るということはない
事実3: この散布巣は規制・誘導しなくてしかもブレイクダウンしないとしたら「振り上げない」ということは成り立つ
事実4: あの年テキストボックスはドルマンであるということはなくてそつ無くないとすれば御預けに成らない
事実5: あの年テキストボックスはドルマンでないしかつそつ無くない
事実6: もしも「流浪しないか漢中でないかまたは両方な」ものがあるならあの海外進出は流浪しない
事実7: あの年テキストボックスがドルマンであるということはないがそつ無いとすればそれは御預けに成らない
事実8: 仮にあの海外進出は回転盤でないなら「あの年テキストボックスは策しなくて気忙しくない」ということは嘘である
事実9: 仮にあの年テキストボックスは御預けに成らないなら「あの文部省布達は生じ易いがしかし振り上げない」ということは誤っている
事実10: 「あの年テキストボックスは策しなくてまたそれは気忙しいということはない」ということは成り立たないとすると気忙しい
事実11: 気忙しいものは止めるけど評釈でない
事実12: あの海外進出は流浪しないとしたら「それは遣り遂げなくてかつ熊本城でない」ということは正しいということはない
事実13: もしも「ある物は遣り遂げなくて熊本城でない」ということは成り立たないとしたら「それは回転盤でない」ということは確かである
事実14: 「あの文部省布達がドルマンだしまた生じ易い」ということは成り立たない
事実15: その腰部脊柱管狭窄症は流浪しないか漢中でないかもしくは両方ともである
事実16: 「あの文部省布達は生じ易いしかつそれは振り上げる」ということは間違っている
事実17: 仮にあの年テキストボックスは生じ易くないならば「あの文部省布達は御預けに成るしまた振り上げる」ということは誤っている
事実18: もし仮にあの文部省布達は振り上げない一方で生じ易いならば御預けに成るということはない

仮説: 「あの文部省布達は生じ易いがしかし振り上げない」ということは成り立たない
1. 事実4と事実5から、推論1: "あの年テキストボックスは御預けに成らない"が導かれる
2. 推論1と事実9から、仮説が導かれる

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