「仮にあの終着が廃棄時だとするとこのＬＴＣＭは焼け焦げる」ということは間違っている
fact1: もしあの終着が廃棄時だとするとしょぼつく fact2: 仮にあの終着はしょぼつくが文学界編集後記でないとすれば「このＬＴＣＭは焼け焦げる」ということは成り立つ fact3: このＬＴＣＭがしょぼつくがしかし文学界編集後記でないとするとあの終着は焼け焦げる fact4: あの終着は焼け焦げる fact5: 仮にこのＬＴＣＭが文学界編集後記であるとすればあの終着は焼け焦げる fact6: もしこのＬＴＣＭが廃棄時だがしかし文学界編集後記でないとすればあの終着は焼け焦げる fact7: このＬＴＣＭは廃棄時である fact8: このＬＴＣＭは十年以上前である一方で文学界編集後記でない fact9: 「あのミネルヴァ書房は文学界編集後記だ」ということは事実だ fact10: もしもこのＬＴＣＭが文学界編集後記であるけどしょぼつくということはないとすればあの終着は焼け焦げる fact11: このＬＴＣＭがしょぼつくなら焼け焦げるが文学界編集後記でない fact12: あの終着は廃棄時であるけれど臭さでない fact13: あの言葉付きは廃棄時である fact14: あの終着はしょぼつく fact15: この伝統技術はしょぼつく fact16: あのＳＩＲは文学界編集後記だがしかしリズム・ギターでない fact17: もしもあの終着が廃棄時であるとしたらそれはしょぼつくししかも文学界編集後記でない
void -> assump1: 以下のように仮定する。あの終着は廃棄時だ; fact17 & assump1 -> int1: あの終着はしょぼつくけれど文学界編集後記でない; int1 & fact2 -> int2: 「このＬＴＣＭは焼け焦げる」ということは確かである; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしあの終着が廃棄時だとするとしょぼつく fact2: 仮にあの終着はしょぼつくが文学界編集後記でないとすれば「このＬＴＣＭは焼け焦げる」ということは成り立つ fact3: このＬＴＣＭがしょぼつくがしかし文学界編集後記でないとするとあの終着は焼け焦げる fact4: あの終着は焼け焦げる fact5: 仮にこのＬＴＣＭが文学界編集後記であるとすればあの終着は焼け焦げる fact6: もしこのＬＴＣＭが廃棄時だがしかし文学界編集後記でないとすればあの終着は焼け焦げる fact7: このＬＴＣＭは廃棄時である fact8: このＬＴＣＭは十年以上前である一方で文学界編集後記でない fact9: 「あのミネルヴァ書房は文学界編集後記だ」ということは事実だ fact10: もしもこのＬＴＣＭが文学界編集後記であるけどしょぼつくということはないとすればあの終着は焼け焦げる fact11: このＬＴＣＭがしょぼつくなら焼け焦げるが文学界編集後記でない fact12: あの終着は廃棄時であるけれど臭さでない fact13: あの言葉付きは廃棄時である fact14: あの終着はしょぼつく fact15: この伝統技術はしょぼつく fact16: あのＳＩＲは文学界編集後記だがしかしリズム・ギターでない fact17: もしもあの終着が廃棄時であるとしたらそれはしょぼつくししかも文学界編集後記でない ; $hypothesis$ = 「仮にあの終着が廃棄時だとするとこのＬＴＣＭは焼け焦げる」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あの終着は廃棄時だ; fact17 & assump1 -> int1: あの終着はしょぼつくけれど文学界編集後記でない; int1 & fact2 -> int2: 「このＬＴＣＭは焼け焦げる」ということは確かである; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もしあの終着が廃棄時だとするとしょぼつく
事実2: 仮にあの終着はしょぼつくが文学界編集後記でないとすれば「このＬＴＣＭは焼け焦げる」ということは成り立つ
事実3: このＬＴＣＭがしょぼつくがしかし文学界編集後記でないとするとあの終着は焼け焦げる
事実4: あの終着は焼け焦げる
事実5: 仮にこのＬＴＣＭが文学界編集後記であるとすればあの終着は焼け焦げる
事実6: もしこのＬＴＣＭが廃棄時だがしかし文学界編集後記でないとすればあの終着は焼け焦げる
事実7: このＬＴＣＭは廃棄時である
事実8: このＬＴＣＭは十年以上前である一方で文学界編集後記でない
事実9: 「あのミネルヴァ書房は文学界編集後記だ」ということは事実だ
事実10: もしもこのＬＴＣＭが文学界編集後記であるけどしょぼつくということはないとすればあの終着は焼け焦げる
事実11: このＬＴＣＭがしょぼつくなら焼け焦げるが文学界編集後記でない
事実12: あの終着は廃棄時であるけれど臭さでない
事実13: あの言葉付きは廃棄時である
事実14: あの終着はしょぼつく
事実15: この伝統技術はしょぼつく
事実16: あのＳＩＲは文学界編集後記だがしかしリズム・ギターでない
事実17: もしもあの終着が廃棄時であるとしたらそれはしょぼつくししかも文学界編集後記でない

仮説: 「仮にあの終着が廃棄時だとするとこのＬＴＣＭは焼け焦げる」ということは間違っている
1. 仮定1: 以下のように仮定する。あの終着は廃棄時だ
2. 事実17と仮定1から、推論1: "あの終着はしょぼつくけれど文学界編集後記でない"が導かれる
3. 推論1と事実2から、推論2: "「このＬＴＣＭは焼け焦げる」ということは確かである"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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