その三栗物語は炭焼き窯だ
fact1: もしも「「尊敬すし入浴出来ない」ということは間違いである」ものがあるならばあの各期間は装置する fact2: もし仮に「この各期間は灯し難くない」ということは成り立つなら「その三栗物語はミーン±ＳＥＭであるか灯し難いか両方だ」ということは誤りである fact3: 「あの白金線はミーン±ＳＥＭだがしかし装置しない」ということは成り立たないとすればあの地方教育行政は装置しない fact4: 「「尊敬すけれど入浴出来るということはない」ということは真実でない」物はある fact5: あるものはとんがるということはないけど透かし見る fact6: もし仮にその地方教育行政が装置するとするとこの各期間は虎尾であるかそれは灯し難くないかあるいは両方ともである fact7: もし「なにかはとんがるということはないし更にそれは透かし見ない」ということは間違いであるならば炭焼き窯だ fact8: もしもとある物は虎尾であるなら「とんがらないしまたそれは透かし見ない」ということは成り立たない fact9: もし仮に「何らかの物はミーン±ＳＥＭであるかあるいは灯し難いかあるいはどちらもだ」ということは事実でないとしたら炭焼き窯でない fact10: もしこの各期間は灯し難いということはないとすれば「その三栗物語は虎尾であるかそれは灯し難いかまたはどちらもだ」ということは成り立たない fact11: もし仮に「とんがらない一方で透かし見る」物があるならこの各期間は虎尾である fact12: もし虎尾は灯し難いならば「それは装置するということはない」ということは本当だ fact13: 「この各期間は入浴出来なくてその上透かし見ないとすると「その三栗物語は入浴出来るということはない」ということは正しい」ということは成り立つ fact14: もしその地方教育行政は装置しないならば「虎尾であるがしかし灯し難くない」ということは嘘だ
fact5 & fact11 -> int1: この各期間は虎尾だ; void -> assump1: 以下のように仮定する。この各期間は灯し難い; int1 & assump1 -> int2: この各期間は虎尾だし灯し難い; fact12 -> int3: この各期間は虎尾であるし更に灯し難いとすればそれは装置しない; int2 & int3 -> int4: この各期間は装置しない; fact1 & fact4 -> int5: この各期間は装置する; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この各期間は灯し難くない; int7 & fact2 -> int8: 「その三栗物語はミーン±ＳＥＭであるかまたは灯し難いかもしくはどちらもである」ということは嘘だ; fact9 -> int9: 仮に「その三栗物語はミーン±ＳＥＭであるかそれは灯し難い」ということは成り立たないならそれは炭焼き窯でない; int8 & int9 -> hypothesis;
「その三栗物語は炭焼き窯である」ということは正しい
fact15 -> int10: 仮に「その三栗物語はとんがらなくてその上透かし見ない」ということは正しくないとするとそれは炭焼き窯である; fact16 -> int11: もし仮にその三栗物語は虎尾であるならば「それはとんがらなくて更に透かし見ない」ということは偽だ;
$facts$ = fact1: もしも「「尊敬すし入浴出来ない」ということは間違いである」ものがあるならばあの各期間は装置する fact2: もし仮に「この各期間は灯し難くない」ということは成り立つなら「その三栗物語はミーン±ＳＥＭであるか灯し難いか両方だ」ということは誤りである fact3: 「あの白金線はミーン±ＳＥＭだがしかし装置しない」ということは成り立たないとすればあの地方教育行政は装置しない fact4: 「「尊敬すけれど入浴出来るということはない」ということは真実でない」物はある fact5: あるものはとんがるということはないけど透かし見る fact6: もし仮にその地方教育行政が装置するとするとこの各期間は虎尾であるかそれは灯し難くないかあるいは両方ともである fact7: もし「なにかはとんがるということはないし更にそれは透かし見ない」ということは間違いであるならば炭焼き窯だ fact8: もしもとある物は虎尾であるなら「とんがらないしまたそれは透かし見ない」ということは成り立たない fact9: もし仮に「何らかの物はミーン±ＳＥＭであるかあるいは灯し難いかあるいはどちらもだ」ということは事実でないとしたら炭焼き窯でない fact10: もしこの各期間は灯し難いということはないとすれば「その三栗物語は虎尾であるかそれは灯し難いかまたはどちらもだ」ということは成り立たない fact11: もし仮に「とんがらない一方で透かし見る」物があるならこの各期間は虎尾である fact12: もし虎尾は灯し難いならば「それは装置するということはない」ということは本当だ fact13: 「この各期間は入浴出来なくてその上透かし見ないとすると「その三栗物語は入浴出来るということはない」ということは正しい」ということは成り立つ fact14: もしその地方教育行政は装置しないならば「虎尾であるがしかし灯し難くない」ということは嘘だ ; $hypothesis$ = その三栗物語は炭焼き窯だ ; $proof$ = 
fact5 & fact11 -> int1: この各期間は虎尾だ; void -> assump1: 以下のように仮定する。この各期間は灯し難い; int1 & assump1 -> int2: この各期間は虎尾だし灯し難い; fact12 -> int3: この各期間は虎尾であるし更に灯し難いとすればそれは装置しない; int2 & int3 -> int4: この各期間は装置しない; fact1 & fact4 -> int5: この各期間は装置する; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この各期間は灯し難くない; int7 & fact2 -> int8: 「その三栗物語はミーン±ＳＥＭであるかまたは灯し難いかもしくはどちらもである」ということは嘘だ; fact9 -> int9: 仮に「その三栗物語はミーン±ＳＥＭであるかそれは灯し難い」ということは成り立たないならそれは炭焼き窯でない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もしも「「尊敬すし入浴出来ない」ということは間違いである」ものがあるならばあの各期間は装置する
事実2: もし仮に「この各期間は灯し難くない」ということは成り立つなら「その三栗物語はミーン±ＳＥＭであるか灯し難いか両方だ」ということは誤りである
事実3: 「あの白金線はミーン±ＳＥＭだがしかし装置しない」ということは成り立たないとすればあの地方教育行政は装置しない
事実4: 「「尊敬すけれど入浴出来るということはない」ということは真実でない」物はある
事実5: あるものはとんがるということはないけど透かし見る
事実6: もし仮にその地方教育行政が装置するとするとこの各期間は虎尾であるかそれは灯し難くないかあるいは両方ともである
事実7: もし「なにかはとんがるということはないし更にそれは透かし見ない」ということは間違いであるならば炭焼き窯だ
事実8: もしもとある物は虎尾であるなら「とんがらないしまたそれは透かし見ない」ということは成り立たない
事実9: もし仮に「何らかの物はミーン±ＳＥＭであるかあるいは灯し難いかあるいはどちらもだ」ということは事実でないとしたら炭焼き窯でない
事実10: もしこの各期間は灯し難いということはないとすれば「その三栗物語は虎尾であるかそれは灯し難いかまたはどちらもだ」ということは成り立たない
事実11: もし仮に「とんがらない一方で透かし見る」物があるならこの各期間は虎尾である
事実12: もし虎尾は灯し難いならば「それは装置するということはない」ということは本当だ
事実13: 「この各期間は入浴出来なくてその上透かし見ないとすると「その三栗物語は入浴出来るということはない」ということは正しい」ということは成り立つ
事実14: もしその地方教育行政は装置しないならば「虎尾であるがしかし灯し難くない」ということは嘘だ

仮説: その三栗物語は炭焼き窯だ
1. 事実5と事実11から、推論1: "この各期間は虎尾だ"が導かれる
2. 仮定1: 以下のように仮定する。この各期間は灯し難い
3. 推論1と仮定1から、推論2: "この各期間は虎尾だし灯し難い"が導かれる
4. 事実12から、推論3: "この各期間は虎尾であるし更に灯し難いとすればそれは装置しない"が導かれる
5. 推論2と推論3から、推論4: "この各期間は装置しない"が導かれる
6. 事実1と事実4から、推論5: "この各期間は装置する"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この各期間は灯し難くない"が導かれる
9. 推論7と事実2から、推論8: "「その三栗物語はミーン±ＳＥＭであるかまたは灯し難いかもしくはどちらもである」ということは嘘だ"が導かれる
10. 事実9から、推論9: "仮に「その三栗物語はミーン±ＳＥＭであるかそれは灯し難い」ということは成り立たないならそれは炭焼き窯でない"が導かれる
11. 推論8と推論9から、仮説が否定される

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