その煉獄は追い捲らない
fact1: もし仮に「なにかはほろ苦さであるが基本記号でない」ということは成り立たないとしたら「それは忙しくない」ということは確かである fact2: もし仮にその北半球が魔法街で伝説上だとしたらあの上層大気は魔法街でない fact3: もし「あの上層大気は魔法街でない」ということは成り立つなら「その島松演習場は掛け易くないが通じ易い」ということは成り立たない fact4: 「「あの適地適作は仕舞い易くない」ということは成り立つ」ということは成り立たない fact5: 仕舞い易いということはないものは追い捲るし目地である fact6: 忙しくない物は魔法街でまた伝説上である fact7: 「このデシベルは通じ易い」ということは本当だ fact8: その煉獄は目地でかつ仕舞い易い fact9: なんらかのものは基本記号である fact10: もしも目地が通じ易いならばそれは追い捲るということはない fact11: その煉獄は通じ易いしおまけに掛け易い fact12: その煉獄は符号化しない fact13: 「「基本記号である」ということは成り立つ」ものはあるとしたら「「その北半球はほろ苦さであるがしかし基本記号でない」ということは成り立つ」ということは事実と異なる fact14: その煉獄は熱っぽいということはない
fact8 -> int1: その煉獄は目地だ; fact11 -> int2: その煉獄は通じ易い; int1 & int2 -> int3: 「その煉獄は目地であるしその上通じ易い」ということは成り立つ; fact10 -> int4: もしその煉獄は目地だし加えて通じ易いとすれば「それは追い捲るということはない」ということは成り立つ; int3 & int4 -> hypothesis;
その煉獄は追い捲る
fact17 -> int5: もしその煉獄が仕舞い易くないとすれば追い捲るし目地だ; fact16 -> int6: もしその北半球が忙しくないならそれは魔法街で伝説上である; fact19 -> int7: もしも「その北半球はほろ苦さであるけどそれは基本記号でない」ということは成り立たないとすればそれは忙しくない; fact18 & fact15 -> int8: 「その北半球はほろ苦さであるが基本記号でない」ということは誤っている; int7 & int8 -> int9: 「その北半球は忙しいということはない」ということは成り立つ; int6 & int9 -> int10: その北半球が魔法街だしそれは伝説上である; fact20 & int10 -> int11: あの上層大気は魔法街でない; fact21 & int11 -> int12: 「その島松演習場は掛け易くない一方で通じ易い」ということは事実と異なる; int12 -> int13: 「「掛け易くなくてかつ通じ易い」ということは成り立たない」物はある;
$facts$ = fact1: もし仮に「なにかはほろ苦さであるが基本記号でない」ということは成り立たないとしたら「それは忙しくない」ということは確かである fact2: もし仮にその北半球が魔法街で伝説上だとしたらあの上層大気は魔法街でない fact3: もし「あの上層大気は魔法街でない」ということは成り立つなら「その島松演習場は掛け易くないが通じ易い」ということは成り立たない fact4: 「「あの適地適作は仕舞い易くない」ということは成り立つ」ということは成り立たない fact5: 仕舞い易いということはないものは追い捲るし目地である fact6: 忙しくない物は魔法街でまた伝説上である fact7: 「このデシベルは通じ易い」ということは本当だ fact8: その煉獄は目地でかつ仕舞い易い fact9: なんらかのものは基本記号である fact10: もしも目地が通じ易いならばそれは追い捲るということはない fact11: その煉獄は通じ易いしおまけに掛け易い fact12: その煉獄は符号化しない fact13: 「「基本記号である」ということは成り立つ」ものはあるとしたら「「その北半球はほろ苦さであるがしかし基本記号でない」ということは成り立つ」ということは事実と異なる fact14: その煉獄は熱っぽいということはない ; $hypothesis$ = その煉獄は追い捲らない ; $proof$ = 
fact8 -> int1: その煉獄は目地だ; fact11 -> int2: その煉獄は通じ易い; int1 & int2 -> int3: 「その煉獄は目地であるしその上通じ易い」ということは成り立つ; fact10 -> int4: もしその煉獄は目地だし加えて通じ易いとすれば「それは追い捲るということはない」ということは成り立つ; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮に「なにかはほろ苦さであるが基本記号でない」ということは成り立たないとしたら「それは忙しくない」ということは確かである
事実2: もし仮にその北半球が魔法街で伝説上だとしたらあの上層大気は魔法街でない
事実3: もし「あの上層大気は魔法街でない」ということは成り立つなら「その島松演習場は掛け易くないが通じ易い」ということは成り立たない
事実4: 「「あの適地適作は仕舞い易くない」ということは成り立つ」ということは成り立たない
事実5: 仕舞い易いということはないものは追い捲るし目地である
事実6: 忙しくない物は魔法街でまた伝説上である
事実7: 「このデシベルは通じ易い」ということは本当だ
事実8: その煉獄は目地でかつ仕舞い易い
事実9: なんらかのものは基本記号である
事実10: もしも目地が通じ易いならばそれは追い捲るということはない
事実11: その煉獄は通じ易いしおまけに掛け易い
事実12: その煉獄は符号化しない
事実13: 「「基本記号である」ということは成り立つ」ものはあるとしたら「「その北半球はほろ苦さであるがしかし基本記号でない」ということは成り立つ」ということは事実と異なる
事実14: その煉獄は熱っぽいということはない

仮説: その煉獄は追い捲らない
1. 事実8から、推論1: "その煉獄は目地だ"が導かれる
2. 事実11から、推論2: "その煉獄は通じ易い"が導かれる
3. 推論1と推論2から、推論3: "「その煉獄は目地であるしその上通じ易い」ということは成り立つ"が導かれる
4. 事実10から、推論4: "もしその煉獄は目地だし加えて通じ易いとすれば「それは追い捲るということはない」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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