「その二冊は出し易い」ということは成り立つ
fact1: その終末は御止し為さる fact2: あの人民解放軍は縮減する fact3: あの人民解放軍は二つ年下だ fact4: もし仮に何らかのものは掴み難いとしたら「上納するししかもそれは適用出来ない」ということは成り立つということはない fact5: その終末は適用出来る fact6: もしあの人民解放軍が適用出来るということはないならばその終末は適用出来るけれど見苦しくない fact7: もし仮にその終末が御止し為さるとしたらそれは眠たい fact8: もし仮にあの人民解放軍が二つ年下であるしまた適用出来るとするとその精密検査は掴み難くない fact9: 仮にその終末が縮減するということはないがそれが眠たいとしたらその二冊は出し易い fact10: その精密検査は掴み難い fact11: あの人民解放軍は見苦しくない fact12: この鼻は御止し為さる fact13: その終末が適用出来るが見苦しくないならそれは縮減しない fact14: もしもあの人民解放軍が見苦しくないとしたら縮減するしかつ掴み難い
void -> assump1: 以下のように仮定する。「あの人民解放軍は適用出来る」ということは成り立つ; fact3 & assump1 -> int1: あの人民解放軍は二つ年下であるし適用出来る; int1 & fact8 -> int2: その精密検査は掴み難いということはない; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの人民解放軍は適用出来る」ということは誤りだ; int4 & fact6 -> int5: その終末は適用出来るけれど見苦しいということはない; int5 & fact13 -> int6: 「その終末は縮減しない」ということは間違いでない; fact7 & fact1 -> int7: その終末は眠たい; int6 & int7 -> int8: その終末は縮減しないがしかし眠たい; int8 & fact9 -> hypothesis;
その試みは上納しないけどそれは気怠い
fact16 -> int9: もしもあの人民解放軍は掴み難いならば「それは上納するし加えて適用出来ない」ということは偽である; fact15 & fact17 -> int10: あの人民解放軍は縮減するし掴み難い; int10 -> int11: あの人民解放軍は掴み難い; int9 & int11 -> int12: 「あの人民解放軍は上納するけどそれは適用出来ない」ということは嘘である; int12 -> int13: 「「上納するし更に適用出来ない」ということは成り立つということはない」物はある;
$facts$ = fact1: その終末は御止し為さる fact2: あの人民解放軍は縮減する fact3: あの人民解放軍は二つ年下だ fact4: もし仮に何らかのものは掴み難いとしたら「上納するししかもそれは適用出来ない」ということは成り立つということはない fact5: その終末は適用出来る fact6: もしあの人民解放軍が適用出来るということはないならばその終末は適用出来るけれど見苦しくない fact7: もし仮にその終末が御止し為さるとしたらそれは眠たい fact8: もし仮にあの人民解放軍が二つ年下であるしまた適用出来るとするとその精密検査は掴み難くない fact9: 仮にその終末が縮減するということはないがそれが眠たいとしたらその二冊は出し易い fact10: その精密検査は掴み難い fact11: あの人民解放軍は見苦しくない fact12: この鼻は御止し為さる fact13: その終末が適用出来るが見苦しくないならそれは縮減しない fact14: もしもあの人民解放軍が見苦しくないとしたら縮減するしかつ掴み難い ; $hypothesis$ = 「その二冊は出し易い」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの人民解放軍は適用出来る」ということは成り立つ; fact3 & assump1 -> int1: あの人民解放軍は二つ年下であるし適用出来る; int1 & fact8 -> int2: その精密検査は掴み難いということはない; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの人民解放軍は適用出来る」ということは誤りだ; int4 & fact6 -> int5: その終末は適用出来るけれど見苦しいということはない; int5 & fact13 -> int6: 「その終末は縮減しない」ということは間違いでない; fact7 & fact1 -> int7: その終末は眠たい; int6 & int7 -> int8: その終末は縮減しないがしかし眠たい; int8 & fact9 -> hypothesis; __PROVED__
事実1: その終末は御止し為さる
事実2: あの人民解放軍は縮減する
事実3: あの人民解放軍は二つ年下だ
事実4: もし仮に何らかのものは掴み難いとしたら「上納するししかもそれは適用出来ない」ということは成り立つということはない
事実5: その終末は適用出来る
事実6: もしあの人民解放軍が適用出来るということはないならばその終末は適用出来るけれど見苦しくない
事実7: もし仮にその終末が御止し為さるとしたらそれは眠たい
事実8: もし仮にあの人民解放軍が二つ年下であるしまた適用出来るとするとその精密検査は掴み難くない
事実9: 仮にその終末が縮減するということはないがそれが眠たいとしたらその二冊は出し易い
事実10: その精密検査は掴み難い
事実11: あの人民解放軍は見苦しくない
事実12: この鼻は御止し為さる
事実13: その終末が適用出来るが見苦しくないならそれは縮減しない
事実14: もしもあの人民解放軍が見苦しくないとしたら縮減するしかつ掴み難い

仮説: 「その二冊は出し易い」ということは成り立つ
1. 仮定1: 以下のように仮定する。「あの人民解放軍は適用出来る」ということは成り立つ
2. 事実3と仮定1から、推論1: "あの人民解放軍は二つ年下であるし適用出来る"が導かれる
3. 推論1と事実8から、推論2: "その精密検査は掴み難いということはない"が導かれる
4. 推論2と事実10から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの人民解放軍は適用出来る」ということは誤りだ"が導かれる
6. 推論4と事実6から、推論5: "その終末は適用出来るけれど見苦しいということはない"が導かれる
7. 推論5と事実13から、推論6: "「その終末は縮減しない」ということは間違いでない"が導かれる
8. 事実7と事実1から、推論7: "その終末は眠たい"が導かれる
9. 推論6と推論7から、推論8: "その終末は縮減しないがしかし眠たい"が導かれる
10. 推論8と事実9から、仮説が導かれる

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