その劇中は買い目作成方法である
fact1: もしあの警備が弁証法的理性批判ならその劇中は迷い易い fact2: その劇中はばあかしいししかも益金・損金算入する fact3: 「その地下室は美しないししかも年以来でない」ということは真実だ fact4: あの警備は年以来でなくてその上ニュートリライトでない fact5: ある物は網焼きであるならば愛好する fact6: 「「新しいしまた赤壁である」ということは誤りな」物があるとするとあのきつさは新しくない fact7: もし仮にとあるものが正極でないかまたはそれは清しとすると「清し」ということは正しい fact8: その非決定性は年以来でない fact9: もし仮に何らかの物がクリア出来ないならば正極であるし買い目作成方法である fact10: その造船は青臭くない fact11: そのパフォーマンスが愛好するとすればあの警備は倹しいけれどクリア出来ない fact12: もし仮にとあるものはニュートリライトでないとしたら弁証法的理性批判だ fact13: 迷い易いということはないしおまけに清しない物は年以来でない fact14: 「もし仮にその造船は青臭いということはないとすれば「その造船は新しくてまた赤壁である」ということは誤っている」ということは確かである fact15: もしも迷い易い物が清しとしたらそれは買い目作成方法でない fact16: もしその劇中がニュートリライトならばあの警備は迷い易い fact17: あの警備は優勝しなくて気難しくない fact18: 「もし仮に「あの警備はニュートリライトであるかまたは弁証法的理性批判でない」ということは成り立たないとすれば「その劇中は弁証法的理性批判だ」ということは本当だ」ということは成り立つ fact19: その劇中は正極であるということはないかまたは清しかあるいはどちらもだ fact20: もしも「あのきつさは新しくない」ということは成り立つとするとそのパフォーマンスは網焼きでその上面白い
fact4 -> int1: あの警備はニュートリライトでない; fact12 -> int2: あの警備はニュートリライトでないとしたら弁証法的理性批判だ; int1 & int2 -> int3: あの警備は弁証法的理性批判である; int3 & fact1 -> int4: その劇中は迷い易い; fact7 -> int5: もしその劇中が正極でないかまたは清しかまたは両方ともだとすれば清し; fact19 & int5 -> int6: その劇中は清し; int4 & int6 -> int7: その劇中は迷い易くて更に清し; fact15 -> int8: 仮にその劇中は迷い易くて加えて清しとするとそれは買い目作成方法でない; int7 & int8 -> hypothesis;
その劇中は弁証法的理性批判だ
fact21 -> int9: あの警備は迷い易いということはなくてしかも清しないとすると「年以来でない」ということは真実である; fact24 -> int10: もしあの警備がクリア出来ないとすれば正極だし買い目作成方法だ; fact29 -> int11: もし仮にそのパフォーマンスが網焼きなら愛好する; fact28 & fact23 -> int12: 「その造船は新しいしまた赤壁だ」ということは誤りだ; int12 -> int13: 「「新しいし赤壁である」ということは偽である」ものはある; int13 & fact26 -> int14: あのきつさは新しくない; fact22 & int14 -> int15: そのパフォーマンスは網焼きであるし面白い; int15 -> int16: そのパフォーマンスは網焼きである; int11 & int16 -> int17: そのパフォーマンスは愛好する; fact25 & int17 -> int18: あの警備は倹しいけどそれはクリア出来ない; int18 -> int19: あの警備はクリア出来ない; int10 & int19 -> int20: あの警備は正極であるしそれに買い目作成方法だ; int20 -> int21: あの警備は買い目作成方法である;
$facts$ = fact1: もしあの警備が弁証法的理性批判ならその劇中は迷い易い fact2: その劇中はばあかしいししかも益金・損金算入する fact3: 「その地下室は美しないししかも年以来でない」ということは真実だ fact4: あの警備は年以来でなくてその上ニュートリライトでない fact5: ある物は網焼きであるならば愛好する fact6: 「「新しいしまた赤壁である」ということは誤りな」物があるとするとあのきつさは新しくない fact7: もし仮にとあるものが正極でないかまたはそれは清しとすると「清し」ということは正しい fact8: その非決定性は年以来でない fact9: もし仮に何らかの物がクリア出来ないならば正極であるし買い目作成方法である fact10: その造船は青臭くない fact11: そのパフォーマンスが愛好するとすればあの警備は倹しいけれどクリア出来ない fact12: もし仮にとあるものはニュートリライトでないとしたら弁証法的理性批判だ fact13: 迷い易いということはないしおまけに清しない物は年以来でない fact14: 「もし仮にその造船は青臭いということはないとすれば「その造船は新しくてまた赤壁である」ということは誤っている」ということは確かである fact15: もしも迷い易い物が清しとしたらそれは買い目作成方法でない fact16: もしその劇中がニュートリライトならばあの警備は迷い易い fact17: あの警備は優勝しなくて気難しくない fact18: 「もし仮に「あの警備はニュートリライトであるかまたは弁証法的理性批判でない」ということは成り立たないとすれば「その劇中は弁証法的理性批判だ」ということは本当だ」ということは成り立つ fact19: その劇中は正極であるということはないかまたは清しかあるいはどちらもだ fact20: もしも「あのきつさは新しくない」ということは成り立つとするとそのパフォーマンスは網焼きでその上面白い ; $hypothesis$ = その劇中は買い目作成方法である ; $proof$ = 
fact4 -> int1: あの警備はニュートリライトでない; fact12 -> int2: あの警備はニュートリライトでないとしたら弁証法的理性批判だ; int1 & int2 -> int3: あの警備は弁証法的理性批判である; int3 & fact1 -> int4: その劇中は迷い易い; fact7 -> int5: もしその劇中が正極でないかまたは清しかまたは両方ともだとすれば清し; fact19 & int5 -> int6: その劇中は清し; int4 & int6 -> int7: その劇中は迷い易くて更に清し; fact15 -> int8: 仮にその劇中は迷い易くて加えて清しとするとそれは買い目作成方法でない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もしあの警備が弁証法的理性批判ならその劇中は迷い易い
事実2: その劇中はばあかしいししかも益金・損金算入する
事実3: 「その地下室は美しないししかも年以来でない」ということは真実だ
事実4: あの警備は年以来でなくてその上ニュートリライトでない
事実5: ある物は網焼きであるならば愛好する
事実6: 「「新しいしまた赤壁である」ということは誤りな」物があるとするとあのきつさは新しくない
事実7: もし仮にとあるものが正極でないかまたはそれは清しとすると「清し」ということは正しい
事実8: その非決定性は年以来でない
事実9: もし仮に何らかの物がクリア出来ないならば正極であるし買い目作成方法である
事実10: その造船は青臭くない
事実11: そのパフォーマンスが愛好するとすればあの警備は倹しいけれどクリア出来ない
事実12: もし仮にとあるものはニュートリライトでないとしたら弁証法的理性批判だ
事実13: 迷い易いということはないしおまけに清しない物は年以来でない
事実14: 「もし仮にその造船は青臭いということはないとすれば「その造船は新しくてまた赤壁である」ということは誤っている」ということは確かである
事実15: もしも迷い易い物が清しとしたらそれは買い目作成方法でない
事実16: もしその劇中がニュートリライトならばあの警備は迷い易い
事実17: あの警備は優勝しなくて気難しくない
事実18: 「もし仮に「あの警備はニュートリライトであるかまたは弁証法的理性批判でない」ということは成り立たないとすれば「その劇中は弁証法的理性批判だ」ということは本当だ」ということは成り立つ
事実19: その劇中は正極であるということはないかまたは清しかあるいはどちらもだ
事実20: もしも「あのきつさは新しくない」ということは成り立つとするとそのパフォーマンスは網焼きでその上面白い

仮説: その劇中は買い目作成方法である
1. 事実4から、推論1: "あの警備はニュートリライトでない"が導かれる
2. 事実12から、推論2: "あの警備はニュートリライトでないとしたら弁証法的理性批判だ"が導かれる
3. 推論1と推論2から、推論3: "あの警備は弁証法的理性批判である"が導かれる
4. 推論3と事実1から、推論4: "その劇中は迷い易い"が導かれる
5. 事実7から、推論5: "もしその劇中が正極でないかまたは清しかまたは両方ともだとすれば清し"が導かれる
6. 事実19と推論5から、推論6: "その劇中は清し"が導かれる
7. 推論4と推論6から、推論7: "その劇中は迷い易くて更に清し"が導かれる
8. 事実15から、推論8: "仮にその劇中は迷い易くて加えて清しとするとそれは買い目作成方法でない"が導かれる
9. 推論7と推論8から、仮説が否定される

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