その消化器官はブラック・ショールズ・モデルであるしそれに桜崎探偵事務所だ
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: その木曜は犯し難い
fact4 & fact27 -> int1: その木曜は近しい; fact24 -> int2: その木曜は八月上旬だ; int1 & int2 -> int3: その木曜は近しいし八月上旬だ; fact18 -> int4: 仮にその木曜が近しいし更に八月上旬であるならばそれはみっともなくない; int3 & int4 -> int5: その木曜はみっともなくない; int5 & fact23 -> int6: 「その中京芝はポリタンクであるけれどそれはみっともなくない」ということは確かでない; fact10 -> int7: もし「その中京芝はポリタンクである一方でみっともなくない」ということは成り立つということはないとすればそれは進行し始めない; int6 & int7 -> int8: その中京芝は進行し始めない; int8 & fact13 -> hypothesis;
その消化器官はブラック・ショールズ・モデルであるしそれは桜崎探偵事務所である
fact28 & fact35 -> int9: 「この連番はみっともないということはないし犯し難くない」ということは成り立たない; fact36 & int9 -> int10: その中京芝は犯し難い; int10 -> int11: なんらかの物は犯し難い; int11 & fact30 -> int12: その消化器官はブラック・ショールズ・モデルである; fact32 -> int13: もし仮にその木曜はポリタンクでないならそれは八月上旬である一方で近しくない; fact34 -> int14: もし仮に「このウインドーズ環境は招き易い」ということは事実であるとしたら「生温いということはないけれどポリタンクである」ということは嘘だ;
$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$ = 
fact4 & fact27 -> int1: その木曜は近しい; fact24 -> int2: その木曜は八月上旬だ; int1 & int2 -> int3: その木曜は近しいし八月上旬だ; fact18 -> int4: 仮にその木曜が近しいし更に八月上旬であるならばそれはみっともなくない; int3 & int4 -> int5: その木曜はみっともなくない; int5 & fact23 -> int6: 「その中京芝はポリタンクであるけれどそれはみっともなくない」ということは確かでない; fact10 -> int7: もし「その中京芝はポリタンクである一方でみっともなくない」ということは成り立つということはないとすればそれは進行し始めない; int6 & int7 -> int8: その中京芝は進行し始めない; int8 & fact13 -> 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. 事実4と事実27から、推論1: "その木曜は近しい"が導かれる
2. 事実24から、推論2: "その木曜は八月上旬だ"が導かれる
3. 推論1と推論2から、推論3: "その木曜は近しいし八月上旬だ"が導かれる
4. 事実18から、推論4: "仮にその木曜が近しいし更に八月上旬であるならばそれはみっともなくない"が導かれる
5. 推論3と推論4から、推論5: "その木曜はみっともなくない"が導かれる
6. 推論5と事実23から、推論6: "「その中京芝はポリタンクであるけれどそれはみっともなくない」ということは確かでない"が導かれる
7. 事実10から、推論7: "もし「その中京芝はポリタンクである一方でみっともなくない」ということは成り立つということはないとすればそれは進行し始めない"が導かれる
8. 推論6と推論7から、推論8: "その中京芝は進行し始めない"が導かれる
9. 推論8と事実13から、仮説が否定される

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