その中分類は立て難くない
fact1: 「その奈落は歌い出す」ということは本当である fact2: もし仮にその奈落が吹き込めるとしたらあの御夫婦は確認し易い fact3: 「「その政治的要求は立て難いということはない」ということは成り立つとしたらその中分類は所持しないし踏み開かない」ということは誤っているということはない fact4: 「この導入はゼロ金利でない」ということは真実であるならばこのコンピューティングシステムは礼儀正しくて引き兼ねる fact5: あの救急車はクルー達でなくてそれは弾まない fact6: このコンピューティングシステムは分散投資しないとすると「あの御夫婦は礼儀正しくないが分散投資する」ということは成り立たない fact7: その中分類が礼儀正しいならばこのコンピューティングシステムは立て難くない fact8: このコンピューティングシステムは打設しない fact9: 仮に「あの御夫婦は分散投資するということはない」ということは真実であるならばこの導入は打設しなくてまたそれはゼロ金利でない fact10: もし仮に「このコンピューティングシステムは引き兼ねる一方で所持しない」ということは成り立たないならその政治的要求は所持する fact11: もしもこの導入はゼロ金利だとすると「それは踏み開かない」ということは正しい fact12: なにかは歌い出すなら吹き込めるかまたはそれは確認し易くないかもしくはどちらもだ fact13: もし仮にこの導入は礼儀正しいということはないとすると「このコンピューティングシステムは引き兼ねるけれど所持するということはない」ということは偽である fact14: もしもなにかは分散投資するが打設しないならそれはゼロ金利でない fact15: もしあの御夫婦がゼロ金利でないならばこの導入は礼儀正しくない fact16: もしも「その政治的要求は踏み開かないけれどそれは所持する」ということは偽だとするとこのコンピューティングシステムは礼儀正しくない fact17: もし仮にこのインスタントは所持しないとすれば「その政治的要求は踏み開くということはない一方で所持する」ということは成り立たない fact18: このコンピューティングシステムは立て難くない fact19: 仮になにかは確認し易いとするとそれは分散投資する fact20: この土手は分散投資しない fact21: もし「ある物は塩っ辛くないし御糸でない」ということは誤りであるならばそれは所持しない fact22: その中分類はゼロ金利でないとすると「この導入は打設しないがゼロ金利である」ということは成り立つということはない fact23: 仮にこのインスタントが塩っ辛くないならその中分類は立て難い fact24: あの御夫婦は打設しない fact25: その中分類は打設しない fact26: もし仮に「なんらかの物は踏み開かないけど立て難い」ということは間違っているなら「それは立て難いということはない」ということは本当だ fact27: あの御夫婦は分散投資しない
fact21 -> int1: もしも「このインスタントは塩っ辛くないし御糸でない」ということは偽だとすれば所持しない; void -> assump1: 以下のように仮定する。「このインスタントは塩っ辛くないし御糸でない」ということは成り立つということはない; int1 & assump1 -> int2: 「このインスタントは所持する」ということは成り立たない; int2 & fact17 -> int3: 「その政治的要求は踏み開かない一方で所持する」ということは間違っている; int3 & fact16 -> int4: このコンピューティングシステムは礼儀正しくない; fact9 & fact27 -> int5: この導入は打設しないしそれにゼロ金利でない; int5 -> int6: この導入はゼロ金利でない; int6 & fact4 -> int7: このコンピューティングシステムは礼儀正しいししかも引き兼ねる; int7 -> int8: このコンピューティングシステムは礼儀正しい; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: このインスタントは塩っ辛くないし御糸でない; int10 -> int11: このインスタントは塩っ辛くない; int11 & fact23 -> hypothesis;
その中分類は立て難くない
fact36 -> int12: もしも「その中分類は踏み開かない一方で立て難い」ということは成り立つということはないとすれば立て難くない; fact35 -> int13: もし仮にあの御夫婦は分散投資するけれど打設しないとすると「それはゼロ金利でない」ということは事実である; fact37 -> int14: もし仮にあの御夫婦が確認し易いならそれは分散投資する; fact32 -> int15: もしもその奈落が歌い出すとすれば吹き込めるかもしくはそれは確認し易くない; int15 & fact34 -> int16: 「その奈落は吹き込めるかもしくは確認し易くない」ということは成り立つ;
$facts$ = fact1: 「その奈落は歌い出す」ということは本当である fact2: もし仮にその奈落が吹き込めるとしたらあの御夫婦は確認し易い fact3: 「「その政治的要求は立て難いということはない」ということは成り立つとしたらその中分類は所持しないし踏み開かない」ということは誤っているということはない fact4: 「この導入はゼロ金利でない」ということは真実であるならばこのコンピューティングシステムは礼儀正しくて引き兼ねる fact5: あの救急車はクルー達でなくてそれは弾まない fact6: このコンピューティングシステムは分散投資しないとすると「あの御夫婦は礼儀正しくないが分散投資する」ということは成り立たない fact7: その中分類が礼儀正しいならばこのコンピューティングシステムは立て難くない fact8: このコンピューティングシステムは打設しない fact9: 仮に「あの御夫婦は分散投資するということはない」ということは真実であるならばこの導入は打設しなくてまたそれはゼロ金利でない fact10: もし仮に「このコンピューティングシステムは引き兼ねる一方で所持しない」ということは成り立たないならその政治的要求は所持する fact11: もしもこの導入はゼロ金利だとすると「それは踏み開かない」ということは正しい fact12: なにかは歌い出すなら吹き込めるかまたはそれは確認し易くないかもしくはどちらもだ fact13: もし仮にこの導入は礼儀正しいということはないとすると「このコンピューティングシステムは引き兼ねるけれど所持するということはない」ということは偽である fact14: もしもなにかは分散投資するが打設しないならそれはゼロ金利でない fact15: もしあの御夫婦がゼロ金利でないならばこの導入は礼儀正しくない fact16: もしも「その政治的要求は踏み開かないけれどそれは所持する」ということは偽だとするとこのコンピューティングシステムは礼儀正しくない fact17: もし仮にこのインスタントは所持しないとすれば「その政治的要求は踏み開くということはない一方で所持する」ということは成り立たない fact18: このコンピューティングシステムは立て難くない fact19: 仮になにかは確認し易いとするとそれは分散投資する fact20: この土手は分散投資しない fact21: もし「ある物は塩っ辛くないし御糸でない」ということは誤りであるならばそれは所持しない fact22: その中分類はゼロ金利でないとすると「この導入は打設しないがゼロ金利である」ということは成り立つということはない fact23: 仮にこのインスタントが塩っ辛くないならその中分類は立て難い fact24: あの御夫婦は打設しない fact25: その中分類は打設しない fact26: もし仮に「なんらかの物は踏み開かないけど立て難い」ということは間違っているなら「それは立て難いということはない」ということは本当だ fact27: あの御夫婦は分散投資しない ; $hypothesis$ = その中分類は立て難くない ; $proof$ = 
fact21 -> int1: もしも「このインスタントは塩っ辛くないし御糸でない」ということは偽だとすれば所持しない; void -> assump1: 以下のように仮定する。「このインスタントは塩っ辛くないし御糸でない」ということは成り立つということはない; int1 & assump1 -> int2: 「このインスタントは所持する」ということは成り立たない; int2 & fact17 -> int3: 「その政治的要求は踏み開かない一方で所持する」ということは間違っている; int3 & fact16 -> int4: このコンピューティングシステムは礼儀正しくない; fact9 & fact27 -> int5: この導入は打設しないしそれにゼロ金利でない; int5 -> int6: この導入はゼロ金利でない; int6 & fact4 -> int7: このコンピューティングシステムは礼儀正しいししかも引き兼ねる; int7 -> int8: このコンピューティングシステムは礼儀正しい; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: このインスタントは塩っ辛くないし御糸でない; int10 -> int11: このインスタントは塩っ辛くない; int11 & fact23 -> hypothesis; __DISPROVED__
事実1: 「その奈落は歌い出す」ということは本当である
事実2: もし仮にその奈落が吹き込めるとしたらあの御夫婦は確認し易い
事実3: 「「その政治的要求は立て難いということはない」ということは成り立つとしたらその中分類は所持しないし踏み開かない」ということは誤っているということはない
事実4: 「この導入はゼロ金利でない」ということは真実であるならばこのコンピューティングシステムは礼儀正しくて引き兼ねる
事実5: あの救急車はクルー達でなくてそれは弾まない
事実6: このコンピューティングシステムは分散投資しないとすると「あの御夫婦は礼儀正しくないが分散投資する」ということは成り立たない
事実7: その中分類が礼儀正しいならばこのコンピューティングシステムは立て難くない
事実8: このコンピューティングシステムは打設しない
事実9: 仮に「あの御夫婦は分散投資するということはない」ということは真実であるならばこの導入は打設しなくてまたそれはゼロ金利でない
事実10: もし仮に「このコンピューティングシステムは引き兼ねる一方で所持しない」ということは成り立たないならその政治的要求は所持する
事実11: もしもこの導入はゼロ金利だとすると「それは踏み開かない」ということは正しい
事実12: なにかは歌い出すなら吹き込めるかまたはそれは確認し易くないかもしくはどちらもだ
事実13: もし仮にこの導入は礼儀正しいということはないとすると「このコンピューティングシステムは引き兼ねるけれど所持するということはない」ということは偽である
事実14: もしもなにかは分散投資するが打設しないならそれはゼロ金利でない
事実15: もしあの御夫婦がゼロ金利でないならばこの導入は礼儀正しくない
事実16: もしも「その政治的要求は踏み開かないけれどそれは所持する」ということは偽だとするとこのコンピューティングシステムは礼儀正しくない
事実17: もし仮にこのインスタントは所持しないとすれば「その政治的要求は踏み開くということはない一方で所持する」ということは成り立たない
事実18: このコンピューティングシステムは立て難くない
事実19: 仮になにかは確認し易いとするとそれは分散投資する
事実20: この土手は分散投資しない
事実21: もし「ある物は塩っ辛くないし御糸でない」ということは誤りであるならばそれは所持しない
事実22: その中分類はゼロ金利でないとすると「この導入は打設しないがゼロ金利である」ということは成り立つということはない
事実23: 仮にこのインスタントが塩っ辛くないならその中分類は立て難い
事実24: あの御夫婦は打設しない
事実25: その中分類は打設しない
事実26: もし仮に「なんらかの物は踏み開かないけど立て難い」ということは間違っているなら「それは立て難いということはない」ということは本当だ
事実27: あの御夫婦は分散投資しない

仮説: その中分類は立て難くない
1. 事実21から、推論1: "もしも「このインスタントは塩っ辛くないし御糸でない」ということは偽だとすれば所持しない"が導かれる
2. 仮定1: 以下のように仮定する。「このインスタントは塩っ辛くないし御糸でない」ということは成り立つということはない
3. 推論1と仮定1から、推論2: "「このインスタントは所持する」ということは成り立たない"が導かれる
4. 推論2と事実17から、推論3: "「その政治的要求は踏み開かない一方で所持する」ということは間違っている"が導かれる
5. 推論3と事実16から、推論4: "このコンピューティングシステムは礼儀正しくない"が導かれる
6. 事実9と事実27から、推論5: "この導入は打設しないしそれにゼロ金利でない"が導かれる
7. 推論5から、推論6: "この導入はゼロ金利でない"が導かれる
8. 推論6と事実4から、推論7: "このコンピューティングシステムは礼儀正しいししかも引き兼ねる"が導かれる
9. 推論7から、推論8: "このコンピューティングシステムは礼儀正しい"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "このインスタントは塩っ辛くないし御糸でない"が導かれる
12. 推論10から、推論11: "このインスタントは塩っ辛くない"が導かれる
13. 推論11と事実23から、仮説が否定される

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