「その紅白が布告するならその宿直は通り難いかまたは古しない」ということは誤りだ
fact1: 仮にそのプラーナが古しとするとその宿直は通り難い fact2: もしそのプラーナが通り難いならばその宿直は通り難いかあるいはそれは古しか両方ともである fact3: もし仮にその紅白が布告するとしたらその宿直は通り難いかあるいはそれは古しかもしくはどちらもである fact4: 「その被事後設立法人は疎いけれど描き出さない」ということは偽である fact5: 「その被事後設立法人は疎くないしその上描き出さない」ということは偽ならそのプラーナは通り難い fact6: その宿直は疎い fact7: もし仮にその紅白が布告すればその被事後設立法人は疼く fact8: その宿直は描き出す fact9: もし仮に「その被事後設立法人は疼く」ということは事実だとすれば「疎いけれど描き出さない」ということは嘘である fact10: とある物は疼くとすると「布告しないし更に通り難くない」ということは成り立たない fact11: もし仮にその被事後設立法人が疎いとすればそのプラーナは通り難い fact12: その宿直は通り難いかあるいはそれは古しか両方ともである fact13: 仮に「その宿直は疼かなくてそれに布告しない」ということは成り立つということはないならその被事後設立法人は通り難い fact14: 仮にある物は疼くとすれば「それは疎いということはない物で加えて描き出さない」ということは成り立たない fact15: その紅白は疼く fact16: その紅白は古しかそれは布告しないか両方ともである fact17: もし仮にそのプラーナが通り難いならばその宿直は通り難いか古しないかもしくは両方ともである fact18: なにかは疼くとすると「それは疎いけれど描き出さない」ということは成り立つということはない
void -> assump1: 以下のように仮定する。その紅白は布告する; fact7 & assump1 -> int1: 「その被事後設立法人は疼く」ということは正しい; fact14 -> int2: もし仮に「その被事後設立法人は疼く」ということは事実であるとすると「それは疎くないし描き出さない」ということは間違いだ; int1 & int2 -> int3: 「その被事後設立法人は疎いということはないしかつそれは描き出さない」ということは間違いだ; int3 & fact5 -> int4: そのプラーナは通り難い; int4 & fact17 -> int5: その宿直は通り難いか古しということはないかどちらもである; [assump1] & int5 -> hypothesis;
$facts$ = fact1: 仮にそのプラーナが古しとするとその宿直は通り難い fact2: もしそのプラーナが通り難いならばその宿直は通り難いかあるいはそれは古しか両方ともである fact3: もし仮にその紅白が布告するとしたらその宿直は通り難いかあるいはそれは古しかもしくはどちらもである fact4: 「その被事後設立法人は疎いけれど描き出さない」ということは偽である fact5: 「その被事後設立法人は疎くないしその上描き出さない」ということは偽ならそのプラーナは通り難い fact6: その宿直は疎い fact7: もし仮にその紅白が布告すればその被事後設立法人は疼く fact8: その宿直は描き出す fact9: もし仮に「その被事後設立法人は疼く」ということは事実だとすれば「疎いけれど描き出さない」ということは嘘である fact10: とある物は疼くとすると「布告しないし更に通り難くない」ということは成り立たない fact11: もし仮にその被事後設立法人が疎いとすればそのプラーナは通り難い fact12: その宿直は通り難いかあるいはそれは古しか両方ともである fact13: 仮に「その宿直は疼かなくてそれに布告しない」ということは成り立つということはないならその被事後設立法人は通り難い fact14: 仮にある物は疼くとすれば「それは疎いということはない物で加えて描き出さない」ということは成り立たない fact15: その紅白は疼く fact16: その紅白は古しかそれは布告しないか両方ともである fact17: もし仮にそのプラーナが通り難いならばその宿直は通り難いか古しないかもしくは両方ともである fact18: なにかは疼くとすると「それは疎いけれど描き出さない」ということは成り立つということはない ; $hypothesis$ = 「その紅白が布告するならその宿直は通り難いかまたは古しない」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その紅白は布告する; fact7 & assump1 -> int1: 「その被事後設立法人は疼く」ということは正しい; fact14 -> int2: もし仮に「その被事後設立法人は疼く」ということは事実であるとすると「それは疎くないし描き出さない」ということは間違いだ; int1 & int2 -> int3: 「その被事後設立法人は疎いということはないしかつそれは描き出さない」ということは間違いだ; int3 & fact5 -> int4: そのプラーナは通り難い; int4 & fact17 -> int5: その宿直は通り難いか古しということはないかどちらもである; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: 仮にそのプラーナが古しとするとその宿直は通り難い
事実2: もしそのプラーナが通り難いならばその宿直は通り難いかあるいはそれは古しか両方ともである
事実3: もし仮にその紅白が布告するとしたらその宿直は通り難いかあるいはそれは古しかもしくはどちらもである
事実4: 「その被事後設立法人は疎いけれど描き出さない」ということは偽である
事実5: 「その被事後設立法人は疎くないしその上描き出さない」ということは偽ならそのプラーナは通り難い
事実6: その宿直は疎い
事実7: もし仮にその紅白が布告すればその被事後設立法人は疼く
事実8: その宿直は描き出す
事実9: もし仮に「その被事後設立法人は疼く」ということは事実だとすれば「疎いけれど描き出さない」ということは嘘である
事実10: とある物は疼くとすると「布告しないし更に通り難くない」ということは成り立たない
事実11: もし仮にその被事後設立法人が疎いとすればそのプラーナは通り難い
事実12: その宿直は通り難いかあるいはそれは古しか両方ともである
事実13: 仮に「その宿直は疼かなくてそれに布告しない」ということは成り立つということはないならその被事後設立法人は通り難い
事実14: 仮にある物は疼くとすれば「それは疎いということはない物で加えて描き出さない」ということは成り立たない
事実15: その紅白は疼く
事実16: その紅白は古しかそれは布告しないか両方ともである
事実17: もし仮にそのプラーナが通り難いならばその宿直は通り難いか古しないかもしくは両方ともである
事実18: なにかは疼くとすると「それは疎いけれど描き出さない」ということは成り立つということはない

仮説: 「その紅白が布告するならその宿直は通り難いかまたは古しない」ということは誤りだ
1. 仮定1: 以下のように仮定する。その紅白は布告する
2. 事実7と仮定1から、推論1: "「その被事後設立法人は疼く」ということは正しい"が導かれる
3. 事実14から、推論2: "もし仮に「その被事後設立法人は疼く」ということは事実であるとすると「それは疎くないし描き出さない」ということは間違いだ"が導かれる
4. 推論1と推論2から、推論3: "「その被事後設立法人は疎いということはないしかつそれは描き出さない」ということは間違いだ"が導かれる
5. 推論3と事実5から、推論4: "そのプラーナは通り難い"が導かれる
6. 推論4と事実17から、推論5: "その宿直は通り難いか古しということはないかどちらもである"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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