もしあの軽過失が上がり難いということはないとすればその音楽学校はスカートであるということはないがしかし作曲家である
fact1: もし仮にあの軽過失が御美しいがしかしモン・ワイズギアであるということはないとするとあの砂礫層は黒し fact2: もし仮に「あの軽過失は上がり難いということはない」ということは本当ならばそれは御美しいということはない fact3: あの軽過失は御美しいということはない fact4: もしもあの軽過失が上がり難いならその音楽学校はスカートでないがしかし作曲家である fact5: もし「「「憎らしくないし加えてモン・ワイズギアでない」ということは本当だ」ということは成り立たない」物があるとすればこの那須野が原開拓は作曲家である fact6: 仮にあの軽過失が上がり難いとしたら御美しくなくておまけにモン・ワイズギアでない fact7: もしもあの砂礫層は黒しなら「この那須野が原開拓は憎らしい一方で撃墜しない」ということは成り立たない fact8: 「「憎らしいし撃墜しない」ということは成り立たない」ものはある fact9: もしこのリラクセーションが作曲家であるとすればその音楽学校はスカートでないがしかし作曲家だ fact10: 「「憎らしいということはないがしかし撃墜する」ということは誤っている」ものはある fact11: もしあの軽過失が上がり難くないとするとその音楽学校はスカートだということはない fact12: 仮にこのリラクセーションが作曲家であるならばその音楽学校はスカートでない fact13: 「この那須野が原開拓は憎らしいということはないがしかし撃墜する」ということは真実でない fact14: なにがしかのものは上がり難いとしたら「平べったいということはなくておまけにスカートでない」ということは誤りである fact15: あの軽過失が上がり難いということはないとすればそれは御美しくなくてそれはモン・ワイズギアでない fact16: その音楽学校はスカートでない fact17: もし仮に「「憎らしくなくて更に撃墜しない」ということは成り立たない」物があるならこのリラクセーションは作曲家だ fact18: もしもあの砂礫層は黒しならば「この那須野が原開拓は憎らしくないがしかし撃墜する」ということは間違っている fact19: もし仮にあの砂礫層は黒しとしたら「この那須野が原開拓は憎らしくないしそれは撃墜しない」ということは偽である fact20: もしもあの軽過失が御美しくなくてそれにモン・ワイズギアでないとするとあの砂礫層は黒し
void -> assump1: 以下のように仮定する。あの軽過失は上がり難くない; fact15 & assump1 -> int1: あの軽過失は御美しいということはなくておまけにモン・ワイズギアでない; int1 & fact20 -> int2: あの砂礫層は黒し; int2 & fact19 -> int3: 「この那須野が原開拓は憎らしくなくて加えてそれは撃墜しない」ということは成り立たない; int3 -> int4: 「「「憎らしくないし加えて撃墜しない」ということは本当である」ということは偽である」ものはある; int4 & fact17 -> int5: このリラクセーションは作曲家である; int5 & fact9 -> int6: その音楽学校はスカートでないがそれは作曲家だ; [assump1] & int6 -> hypothesis;
「あの軽過失は平べったくないしスカートでない」ということは成り立たない
fact21 -> int7: もしも「あの軽過失は上がり難い」ということは成り立つとすると「それは平べったいということはないしそれにスカートであるということはない」ということは成り立たない;
$facts$ = fact1: もし仮にあの軽過失が御美しいがしかしモン・ワイズギアであるということはないとするとあの砂礫層は黒し fact2: もし仮に「あの軽過失は上がり難いということはない」ということは本当ならばそれは御美しいということはない fact3: あの軽過失は御美しいということはない fact4: もしもあの軽過失が上がり難いならその音楽学校はスカートでないがしかし作曲家である fact5: もし「「「憎らしくないし加えてモン・ワイズギアでない」ということは本当だ」ということは成り立たない」物があるとすればこの那須野が原開拓は作曲家である fact6: 仮にあの軽過失が上がり難いとしたら御美しくなくておまけにモン・ワイズギアでない fact7: もしもあの砂礫層は黒しなら「この那須野が原開拓は憎らしい一方で撃墜しない」ということは成り立たない fact8: 「「憎らしいし撃墜しない」ということは成り立たない」ものはある fact9: もしこのリラクセーションが作曲家であるとすればその音楽学校はスカートでないがしかし作曲家だ fact10: 「「憎らしいということはないがしかし撃墜する」ということは誤っている」ものはある fact11: もしあの軽過失が上がり難くないとするとその音楽学校はスカートだということはない fact12: 仮にこのリラクセーションが作曲家であるならばその音楽学校はスカートでない fact13: 「この那須野が原開拓は憎らしいということはないがしかし撃墜する」ということは真実でない fact14: なにがしかのものは上がり難いとしたら「平べったいということはなくておまけにスカートでない」ということは誤りである fact15: あの軽過失が上がり難いということはないとすればそれは御美しくなくてそれはモン・ワイズギアでない fact16: その音楽学校はスカートでない fact17: もし仮に「「憎らしくなくて更に撃墜しない」ということは成り立たない」物があるならこのリラクセーションは作曲家だ fact18: もしもあの砂礫層は黒しならば「この那須野が原開拓は憎らしくないがしかし撃墜する」ということは間違っている fact19: もし仮にあの砂礫層は黒しとしたら「この那須野が原開拓は憎らしくないしそれは撃墜しない」ということは偽である fact20: もしもあの軽過失が御美しくなくてそれにモン・ワイズギアでないとするとあの砂礫層は黒し ; $hypothesis$ = もしあの軽過失が上がり難いということはないとすればその音楽学校はスカートであるということはないがしかし作曲家である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの軽過失は上がり難くない; fact15 & assump1 -> int1: あの軽過失は御美しいということはなくておまけにモン・ワイズギアでない; int1 & fact20 -> int2: あの砂礫層は黒し; int2 & fact19 -> int3: 「この那須野が原開拓は憎らしくなくて加えてそれは撃墜しない」ということは成り立たない; int3 -> int4: 「「「憎らしくないし加えて撃墜しない」ということは本当である」ということは偽である」ものはある; int4 & fact17 -> int5: このリラクセーションは作曲家である; int5 & fact9 -> int6: その音楽学校はスカートでないがそれは作曲家だ; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もし仮にあの軽過失が御美しいがしかしモン・ワイズギアであるということはないとするとあの砂礫層は黒し
事実2: もし仮に「あの軽過失は上がり難いということはない」ということは本当ならばそれは御美しいということはない
事実3: あの軽過失は御美しいということはない
事実4: もしもあの軽過失が上がり難いならその音楽学校はスカートでないがしかし作曲家である
事実5: もし「「「憎らしくないし加えてモン・ワイズギアでない」ということは本当だ」ということは成り立たない」物があるとすればこの那須野が原開拓は作曲家である
事実6: 仮にあの軽過失が上がり難いとしたら御美しくなくておまけにモン・ワイズギアでない
事実7: もしもあの砂礫層は黒しなら「この那須野が原開拓は憎らしい一方で撃墜しない」ということは成り立たない
事実8: 「「憎らしいし撃墜しない」ということは成り立たない」ものはある
事実9: もしこのリラクセーションが作曲家であるとすればその音楽学校はスカートでないがしかし作曲家だ
事実10: 「「憎らしいということはないがしかし撃墜する」ということは誤っている」ものはある
事実11: もしあの軽過失が上がり難くないとするとその音楽学校はスカートだということはない
事実12: 仮にこのリラクセーションが作曲家であるならばその音楽学校はスカートでない
事実13: 「この那須野が原開拓は憎らしいということはないがしかし撃墜する」ということは真実でない
事実14: なにがしかのものは上がり難いとしたら「平べったいということはなくておまけにスカートでない」ということは誤りである
事実15: あの軽過失が上がり難いということはないとすればそれは御美しくなくてそれはモン・ワイズギアでない
事実16: その音楽学校はスカートでない
事実17: もし仮に「「憎らしくなくて更に撃墜しない」ということは成り立たない」物があるならこのリラクセーションは作曲家だ
事実18: もしもあの砂礫層は黒しならば「この那須野が原開拓は憎らしくないがしかし撃墜する」ということは間違っている
事実19: もし仮にあの砂礫層は黒しとしたら「この那須野が原開拓は憎らしくないしそれは撃墜しない」ということは偽である
事実20: もしもあの軽過失が御美しくなくてそれにモン・ワイズギアでないとするとあの砂礫層は黒し

仮説: もしあの軽過失が上がり難いということはないとすればその音楽学校はスカートであるということはないがしかし作曲家である
1. 仮定1: 以下のように仮定する。あの軽過失は上がり難くない
2. 事実15と仮定1から、推論1: "あの軽過失は御美しいということはなくておまけにモン・ワイズギアでない"が導かれる
3. 推論1と事実20から、推論2: "あの砂礫層は黒し"が導かれる
4. 推論2と事実19から、推論3: "「この那須野が原開拓は憎らしくなくて加えてそれは撃墜しない」ということは成り立たない"が導かれる
5. 推論3から、推論4: "「「「憎らしくないし加えて撃墜しない」ということは本当である」ということは偽である」ものはある"が導かれる
6. 推論4と事実17から、推論5: "このリラクセーションは作曲家である"が導かれる
7. 推論5と事実9から、推論6: "その音楽学校はスカートでないがそれは作曲家だ"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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