「もしあの十五区は仕向けるとすると「その八．一五終戦記念日は大差無い」ということは本当だ」ということは確かでない
fact1: 仮にあの十五区は仕向けるとすれば「その八．一五終戦記念日は嘆かわしいがしかし其れ以外でない」ということは間違っている fact2: あの十五区は低し fact3: あの十五区は其れ以外である fact4: もしもあの十五区が低しとすればそれは大発生しないしホットパイでない fact5: 仮に「なにがしかのものは仕向けないけどそれは大差無い」ということは真実であるならそれは其れ以外だ fact6: もしもその八．一五終戦記念日が其れ以外ならばそれは大差無い fact7: 「あの十五区は大差無い一方で仕向けない」ということは成り立たない fact8: もしその八．一五終戦記念日は仕向けるなら「あの十五区は嘆かわしいが其れ以外でない」ということは誤っている fact9: 「その八．一五終戦記念日は嘆かわしくておまけにそれは其れ以外だ」ということは間違いである fact10: もし仮に「その八．一五終戦記念日は勝鬨だ一方でそれはマッチしない」ということは成り立たないなら連想し易い fact11: もしその八．一五終戦記念日は仕向けるとすれば「あの十五区は其れ以外であるけど大差無くない」ということは成り立たない fact12: 「その八．一五終戦記念日は大差無くて更に仕向ける」ということは事実と異なる fact13: もしもあの十五区は仕向けるなら「その八．一五終戦記念日は嘆かわしくてそれに其れ以外である」ということは誤りである fact14: あの十五区は嘆かわしい fact15: もし仮にその八．一五終戦記念日が仕向けるとすればあの十五区は大差無い fact16: 仮に「その八．一五終戦記念日は嘆かわしいが其れ以外でない」ということは成り立たないとすればそれは大差無い
void -> assump1: 以下のように仮定する。あの十五区は仕向ける; fact1 & assump1 -> int1: 「その八．一五終戦記念日は嘆かわしいけれどそれは其れ以外であるということはない」ということは嘘だ; int1 & fact16 -> int2: その八．一五終戦記念日は大差無い; [assump1] & int2 -> hypothesis;
「あの県令は其れ以外だ」ということは成り立つ
fact19 -> int3: あの県令は仕向けない一方で大差無いとするとそれは其れ以外である; fact18 & fact17 -> int4: あの十五区は大発生しなくてかつホットパイでない; int4 -> int5: 「大発生しないしホットパイでない」ものはある;
$facts$ = fact1: 仮にあの十五区は仕向けるとすれば「その八．一五終戦記念日は嘆かわしいがしかし其れ以外でない」ということは間違っている fact2: あの十五区は低し fact3: あの十五区は其れ以外である fact4: もしもあの十五区が低しとすればそれは大発生しないしホットパイでない fact5: 仮に「なにがしかのものは仕向けないけどそれは大差無い」ということは真実であるならそれは其れ以外だ fact6: もしもその八．一五終戦記念日が其れ以外ならばそれは大差無い fact7: 「あの十五区は大差無い一方で仕向けない」ということは成り立たない fact8: もしその八．一五終戦記念日は仕向けるなら「あの十五区は嘆かわしいが其れ以外でない」ということは誤っている fact9: 「その八．一五終戦記念日は嘆かわしくておまけにそれは其れ以外だ」ということは間違いである fact10: もし仮に「その八．一五終戦記念日は勝鬨だ一方でそれはマッチしない」ということは成り立たないなら連想し易い fact11: もしその八．一五終戦記念日は仕向けるとすれば「あの十五区は其れ以外であるけど大差無くない」ということは成り立たない fact12: 「その八．一五終戦記念日は大差無くて更に仕向ける」ということは事実と異なる fact13: もしもあの十五区は仕向けるなら「その八．一五終戦記念日は嘆かわしくてそれに其れ以外である」ということは誤りである fact14: あの十五区は嘆かわしい fact15: もし仮にその八．一五終戦記念日が仕向けるとすればあの十五区は大差無い fact16: 仮に「その八．一五終戦記念日は嘆かわしいが其れ以外でない」ということは成り立たないとすればそれは大差無い ; $hypothesis$ = 「もしあの十五区は仕向けるとすると「その八．一五終戦記念日は大差無い」ということは本当だ」ということは確かでない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの十五区は仕向ける; fact1 & assump1 -> int1: 「その八．一五終戦記念日は嘆かわしいけれどそれは其れ以外であるということはない」ということは嘘だ; int1 & fact16 -> int2: その八．一五終戦記念日は大差無い; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: 仮にあの十五区は仕向けるとすれば「その八．一五終戦記念日は嘆かわしいがしかし其れ以外でない」ということは間違っている
事実2: あの十五区は低し
事実3: あの十五区は其れ以外である
事実4: もしもあの十五区が低しとすればそれは大発生しないしホットパイでない
事実5: 仮に「なにがしかのものは仕向けないけどそれは大差無い」ということは真実であるならそれは其れ以外だ
事実6: もしもその八．一五終戦記念日が其れ以外ならばそれは大差無い
事実7: 「あの十五区は大差無い一方で仕向けない」ということは成り立たない
事実8: もしその八．一五終戦記念日は仕向けるなら「あの十五区は嘆かわしいが其れ以外でない」ということは誤っている
事実9: 「その八．一五終戦記念日は嘆かわしくておまけにそれは其れ以外だ」ということは間違いである
事実10: もし仮に「その八．一五終戦記念日は勝鬨だ一方でそれはマッチしない」ということは成り立たないなら連想し易い
事実11: もしその八．一五終戦記念日は仕向けるとすれば「あの十五区は其れ以外であるけど大差無くない」ということは成り立たない
事実12: 「その八．一五終戦記念日は大差無くて更に仕向ける」ということは事実と異なる
事実13: もしもあの十五区は仕向けるなら「その八．一五終戦記念日は嘆かわしくてそれに其れ以外である」ということは誤りである
事実14: あの十五区は嘆かわしい
事実15: もし仮にその八．一五終戦記念日が仕向けるとすればあの十五区は大差無い
事実16: 仮に「その八．一五終戦記念日は嘆かわしいが其れ以外でない」ということは成り立たないとすればそれは大差無い

仮説: 「もしあの十五区は仕向けるとすると「その八．一五終戦記念日は大差無い」ということは本当だ」ということは確かでない
1. 仮定1: 以下のように仮定する。あの十五区は仕向ける
2. 事実1と仮定1から、推論1: "「その八．一五終戦記念日は嘆かわしいけれどそれは其れ以外であるということはない」ということは嘘だ"が導かれる
3. 推論1と事実16から、推論2: "その八．一五終戦記念日は大差無い"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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