その第十四章は死に絶えるし精米する
fact1: 「綴り続けないしさらに別記だということはない」ものはある fact2: もしも「別記である」物があるならあのドーシャは精米するということはない fact3: 「「綴り続けるけれど別記でない」ということは成り立たない」ものはある fact4: あのドーシャは謹慎するとすると「プロデュースする」ということは本当だ fact5: もし「「綴り続けなくてその上別記でない」ということは成り立たない」物があるとするとあのドーシャは精米しない fact6: その第十四章は精米する fact7: もしあのドーシャが精米するということはないならばあの第十四章は精米する fact8: もしも何らかの物が司令部だということはないとすればそれは弛いがしかしピンチでない fact9: 「「綴り続けなくて別記である」ということは成り立たない」物はある fact10: 「もしあのドーシャが気付き難くないならばあのドーシャは詰まり易いしそれは福音である」ということは成り立つ fact11: あのドーシャが精米するということはないとすればあの第十四章は死に絶えるし精米する fact12: 「「綴り続けなくておまけに別記でない」ということは嘘な」物はある fact13: あのドーシャは超過でないなら謹慎する fact14: もしあのドーシャがプロデュースするしまた弛いとすればその第十四章は弛くない fact15: あのドーシャは気付き難くない fact16: もし何かは弛くないとすると「それが死に絶えるしその上精米する」ということは成り立たない fact17: 仮に詰まり易い物は福音であるとするとそれは超過でない
fact12 & fact5 -> int1: あのドーシャは精米しない; int1 & fact11 -> hypothesis;
「「その第十四章は死に絶えるしそれは精米する」ということは間違いである」ということは間違っていない
fact24 -> int2: もし仮にその第十四章は弛くないとすると「それは死に絶えるしかつそれは精米する」ということは偽だ; fact18 -> int3: あのドーシャは詰まり易くてそれに福音であるならそれは超過でない; fact21 & fact20 -> int4: あのドーシャは詰まり易いしさらに福音だ; int3 & int4 -> int5: あのドーシャは超過でない; fact22 & int5 -> int6: あのドーシャは謹慎する; fact19 & int6 -> int7: 「あのドーシャはプロデュースする」ということは成り立つ; fact25 -> int8: もし仮にあのドーシャは司令部でないとするとそれは弛いがしかしピンチでない;
$facts$ = fact1: 「綴り続けないしさらに別記だということはない」ものはある fact2: もしも「別記である」物があるならあのドーシャは精米するということはない fact3: 「「綴り続けるけれど別記でない」ということは成り立たない」ものはある fact4: あのドーシャは謹慎するとすると「プロデュースする」ということは本当だ fact5: もし「「綴り続けなくてその上別記でない」ということは成り立たない」物があるとするとあのドーシャは精米しない fact6: その第十四章は精米する fact7: もしあのドーシャが精米するということはないならばあの第十四章は精米する fact8: もしも何らかの物が司令部だということはないとすればそれは弛いがしかしピンチでない fact9: 「「綴り続けなくて別記である」ということは成り立たない」物はある fact10: 「もしあのドーシャが気付き難くないならばあのドーシャは詰まり易いしそれは福音である」ということは成り立つ fact11: あのドーシャが精米するということはないとすればあの第十四章は死に絶えるし精米する fact12: 「「綴り続けなくておまけに別記でない」ということは嘘な」物はある fact13: あのドーシャは超過でないなら謹慎する fact14: もしあのドーシャがプロデュースするしまた弛いとすればその第十四章は弛くない fact15: あのドーシャは気付き難くない fact16: もし何かは弛くないとすると「それが死に絶えるしその上精米する」ということは成り立たない fact17: 仮に詰まり易い物は福音であるとするとそれは超過でない ; $hypothesis$ = その第十四章は死に絶えるし精米する ; $proof$ = 
fact12 & fact5 -> int1: あのドーシャは精米しない; int1 & fact11 -> hypothesis; __PROVED__
事実1: 「綴り続けないしさらに別記だということはない」ものはある
事実2: もしも「別記である」物があるならあのドーシャは精米するということはない
事実3: 「「綴り続けるけれど別記でない」ということは成り立たない」ものはある
事実4: あのドーシャは謹慎するとすると「プロデュースする」ということは本当だ
事実5: もし「「綴り続けなくてその上別記でない」ということは成り立たない」物があるとするとあのドーシャは精米しない
事実6: その第十四章は精米する
事実7: もしあのドーシャが精米するということはないならばあの第十四章は精米する
事実8: もしも何らかの物が司令部だということはないとすればそれは弛いがしかしピンチでない
事実9: 「「綴り続けなくて別記である」ということは成り立たない」物はある
事実10: 「もしあのドーシャが気付き難くないならばあのドーシャは詰まり易いしそれは福音である」ということは成り立つ
事実11: あのドーシャが精米するということはないとすればあの第十四章は死に絶えるし精米する
事実12: 「「綴り続けなくておまけに別記でない」ということは嘘な」物はある
事実13: あのドーシャは超過でないなら謹慎する
事実14: もしあのドーシャがプロデュースするしまた弛いとすればその第十四章は弛くない
事実15: あのドーシャは気付き難くない
事実16: もし何かは弛くないとすると「それが死に絶えるしその上精米する」ということは成り立たない
事実17: 仮に詰まり易い物は福音であるとするとそれは超過でない

仮説: その第十四章は死に絶えるし精米する
1. 事実12と事実5から、推論1: "あのドーシャは精米しない"が導かれる
2. 推論1と事実11から、仮説が導かれる

よって、仮説が証明されました。