この部落外は御済みだ
fact1: 仮にこの御弟子さん達は絶え難いとすると「把握し辛いということはない」ということは確かだ fact2: もしもなんらかのものは鱶鰭スープであるとすれば飢餓でない fact3: この無産階級は絶え難い fact4: この部落外は見付け出せらない fact5: 「あるものは比例区であるしかつ甚だし」ということは成り立たないとすると「比例区でない」ということは事実である fact6: この部落外は建築作品だ fact7: もしも「「試薬であるがしかしトリップしない」ということは間違いな」物があるとするとあの両性は試薬でない fact8: 「その仕上げ用ジャムは煩いか皮肉っぽくないかあるいは両方だ」ということは間違っている fact9: もし「とある物は煩いかもしくは皮肉っぽくないかまたはどちらもだ」ということは事実でないとしたら仕舞い易くない fact10: この生育期は御済みである fact11: 仮にある物は試薬でないとしたら「それは比例区であるしその上甚だし」ということは誤っている fact12: この部落外は発電する fact13: 仮にその通説的見解がぱたぱたするなら溶け掛けない fact14: もしも「この学校教育課程は絶え難いけれど建築作品であるということはない」ということは事実と異なるならこの部落外は御済みだ fact15: もしこの部落外は建築作品であるとすれば「絶え難い」ということは確かである fact16: とあるものが絶え難いなら御済みでない fact17: もしも何らかのものは学力向上であるかあるいは張り切り過ぎるかまたはどちらもならばそれは治水事業でない fact18: もしもその仕上げ用ジャムは仕舞い易くないとすると「そのロンドン塔は試薬であるけれどそれはトリップしない」ということは成り立たない fact19: もしもこの学校教育課程が絶え難くないとしたらこの部落外は御済みでしかも建築作品だ fact20: あの宛て名印刷は絶え難い fact21: この部落外がポータルサイトだとしたらそれは絶え難い fact22: もし仮にあの両性が比例区でないとするとあの都市郊外は張り切り過ぎる
fact15 & fact6 -> int1: この部落外は絶え難い; fact16 -> int2: もし仮にこの部落外が絶え難いならそれは御済みでない; int1 & int2 -> hypothesis;
この部落外は御済みである
fact28 -> int3: もし仮にあの都市郊外が学力向上であるかそれが張り切り過ぎるとするとそれは治水事業だということはない; fact26 -> int4: もし仮に「あの両性は比例区で甚だし」ということは事実と異なるとすれば比例区でない; fact24 -> int5: もし仮にあの両性は試薬でないとしたら「比例区であるし更にそれは甚だし」ということは成り立たない; fact31 -> int6: 仮に「その仕上げ用ジャムは煩いかもしくはそれは皮肉っぽくないか両方ともだ」ということは間違いであるとすれば「それは仕舞い易くない」ということは正しい; int6 & fact27 -> int7: その仕上げ用ジャムは仕舞い易くない; fact25 & int7 -> int8: 「そのロンドン塔は試薬だけれどトリップしない」ということは成り立たない; int8 -> int9: 「「試薬であるしその上トリップするということはない」ということは偽な」ものはある; int9 & fact30 -> int10: あの両性は試薬でない; int5 & int10 -> int11: 「あの両性は比例区であるし甚だし」ということは間違いだ; int4 & int11 -> int12: あの両性は比例区でない; fact29 & int12 -> int13: あの都市郊外は張り切り過ぎる; int13 -> int14: あの都市郊外は学力向上であるかあるいは張り切り過ぎるかどちらもだ; int3 & int14 -> int15: あの都市郊外は治水事業でない; int15 -> int16: なにかは治水事業でない;
$facts$ = fact1: 仮にこの御弟子さん達は絶え難いとすると「把握し辛いということはない」ということは確かだ fact2: もしもなんらかのものは鱶鰭スープであるとすれば飢餓でない fact3: この無産階級は絶え難い fact4: この部落外は見付け出せらない fact5: 「あるものは比例区であるしかつ甚だし」ということは成り立たないとすると「比例区でない」ということは事実である fact6: この部落外は建築作品だ fact7: もしも「「試薬であるがしかしトリップしない」ということは間違いな」物があるとするとあの両性は試薬でない fact8: 「その仕上げ用ジャムは煩いか皮肉っぽくないかあるいは両方だ」ということは間違っている fact9: もし「とある物は煩いかもしくは皮肉っぽくないかまたはどちらもだ」ということは事実でないとしたら仕舞い易くない fact10: この生育期は御済みである fact11: 仮にある物は試薬でないとしたら「それは比例区であるしその上甚だし」ということは誤っている fact12: この部落外は発電する fact13: 仮にその通説的見解がぱたぱたするなら溶け掛けない fact14: もしも「この学校教育課程は絶え難いけれど建築作品であるということはない」ということは事実と異なるならこの部落外は御済みだ fact15: もしこの部落外は建築作品であるとすれば「絶え難い」ということは確かである fact16: とあるものが絶え難いなら御済みでない fact17: もしも何らかのものは学力向上であるかあるいは張り切り過ぎるかまたはどちらもならばそれは治水事業でない fact18: もしもその仕上げ用ジャムは仕舞い易くないとすると「そのロンドン塔は試薬であるけれどそれはトリップしない」ということは成り立たない fact19: もしもこの学校教育課程が絶え難くないとしたらこの部落外は御済みでしかも建築作品だ fact20: あの宛て名印刷は絶え難い fact21: この部落外がポータルサイトだとしたらそれは絶え難い fact22: もし仮にあの両性が比例区でないとするとあの都市郊外は張り切り過ぎる ; $hypothesis$ = この部落外は御済みだ ; $proof$ = 
fact15 & fact6 -> int1: この部落外は絶え難い; fact16 -> int2: もし仮にこの部落外が絶え難いならそれは御済みでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にこの御弟子さん達は絶え難いとすると「把握し辛いということはない」ということは確かだ
事実2: もしもなんらかのものは鱶鰭スープであるとすれば飢餓でない
事実3: この無産階級は絶え難い
事実4: この部落外は見付け出せらない
事実5: 「あるものは比例区であるしかつ甚だし」ということは成り立たないとすると「比例区でない」ということは事実である
事実6: この部落外は建築作品だ
事実7: もしも「「試薬であるがしかしトリップしない」ということは間違いな」物があるとするとあの両性は試薬でない
事実8: 「その仕上げ用ジャムは煩いか皮肉っぽくないかあるいは両方だ」ということは間違っている
事実9: もし「とある物は煩いかもしくは皮肉っぽくないかまたはどちらもだ」ということは事実でないとしたら仕舞い易くない
事実10: この生育期は御済みである
事実11: 仮にある物は試薬でないとしたら「それは比例区であるしその上甚だし」ということは誤っている
事実12: この部落外は発電する
事実13: 仮にその通説的見解がぱたぱたするなら溶け掛けない
事実14: もしも「この学校教育課程は絶え難いけれど建築作品であるということはない」ということは事実と異なるならこの部落外は御済みだ
事実15: もしこの部落外は建築作品であるとすれば「絶え難い」ということは確かである
事実16: とあるものが絶え難いなら御済みでない
事実17: もしも何らかのものは学力向上であるかあるいは張り切り過ぎるかまたはどちらもならばそれは治水事業でない
事実18: もしもその仕上げ用ジャムは仕舞い易くないとすると「そのロンドン塔は試薬であるけれどそれはトリップしない」ということは成り立たない
事実19: もしもこの学校教育課程が絶え難くないとしたらこの部落外は御済みでしかも建築作品だ
事実20: あの宛て名印刷は絶え難い
事実21: この部落外がポータルサイトだとしたらそれは絶え難い
事実22: もし仮にあの両性が比例区でないとするとあの都市郊外は張り切り過ぎる

仮説: この部落外は御済みだ
1. 事実15と事実6から、推論1: "この部落外は絶え難い"が導かれる
2. 事実16から、推論2: "もし仮にこの部落外が絶え難いならそれは御済みでない"が導かれる
3. 推論1と推論2から、仮説が否定される

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