その野中は拝命する
fact1: 何らかのものが取り入れるとすればそれは拝命する fact2: もし仮にこの先頭艦は魏使達でないなら「それは使用し難くないかまたは測り得るかあるいは両方である」ということは成り立たない fact3: その始期は平べったい fact4: 「「「様良しし平べったい」ということは成り立つ」ということは成り立たない」物はある fact5: 仮にこの先頭艦が使い終わるとすればその野中は取り入れる fact6: 「「様良しし平べったい」ということは成り立つということはない」物があるとするとこの先頭艦は拝命しない fact7: もし仮に「この先頭艦は拝命しないかもしくはそれは魏使達であるということはない」ということは誤っているとすればその野中は拝命するということはない fact8: もし「「使用し難くないか測り得る」ということは嘘である」物があるならばあの始期は借り易くない fact9: もしあの四神相応が平べったくないならばあの始期は取り入れるしまた様良し fact10: もし仮にあるものは魏使達であるとすれば使い終わる fact11: 借り易くない物は魏使達だし測り得る fact12: 仮にある物は借り易くないなら「拝命するということはないか魏使達でない」ということは成り立たない fact13: もしその始期が平べったいとすれば借り易いし加えてそれは様良くない
void -> assump1: 以下のように仮定する。「この先頭艦は魏使達でない」ということは成り立つ; fact2 & assump1 -> int1: 「この先頭艦は使用し難くないかまたは測り得るかまたは両方ともだ」ということは真実でない; int1 -> int2: 「「使用し難くないかまたは測り得るかあるいはどちらもだ」ということは誤っている」ものはある; int2 & fact8 -> int3: その始期は借り易くない; fact13 & fact3 -> int4: その始期は借り易い一方で様良くない; int4 -> int5: その始期は借り易い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この先頭艦は魏使達だ; fact10 -> int8: 仮にこの先頭艦が魏使達ならそれは使い終わる; int7 & int8 -> int9: この先頭艦は使い終わる; int9 & fact5 -> int10: その野中は取り入れる; fact1 -> int11: もし仮にその野中が取り入れるとすると拝命する; int10 & int11 -> hypothesis;
その野中は拝命するということはない
fact15 -> int12: もしもこの先頭艦は借り易くないとしたら「拝命しないか魏使達でない」ということは誤りだ;
$facts$ = fact1: 何らかのものが取り入れるとすればそれは拝命する fact2: もし仮にこの先頭艦は魏使達でないなら「それは使用し難くないかまたは測り得るかあるいは両方である」ということは成り立たない fact3: その始期は平べったい fact4: 「「「様良しし平べったい」ということは成り立つ」ということは成り立たない」物はある fact5: 仮にこの先頭艦が使い終わるとすればその野中は取り入れる fact6: 「「様良しし平べったい」ということは成り立つということはない」物があるとするとこの先頭艦は拝命しない fact7: もし仮に「この先頭艦は拝命しないかもしくはそれは魏使達であるということはない」ということは誤っているとすればその野中は拝命するということはない fact8: もし「「使用し難くないか測り得る」ということは嘘である」物があるならばあの始期は借り易くない fact9: もしあの四神相応が平べったくないならばあの始期は取り入れるしまた様良し fact10: もし仮にあるものは魏使達であるとすれば使い終わる fact11: 借り易くない物は魏使達だし測り得る fact12: 仮にある物は借り易くないなら「拝命するということはないか魏使達でない」ということは成り立たない fact13: もしその始期が平べったいとすれば借り易いし加えてそれは様良くない ; $hypothesis$ = その野中は拝命する ; $proof$ = 
void -> assump1: 以下のように仮定する。「この先頭艦は魏使達でない」ということは成り立つ; fact2 & assump1 -> int1: 「この先頭艦は使用し難くないかまたは測り得るかまたは両方ともだ」ということは真実でない; int1 -> int2: 「「使用し難くないかまたは測り得るかあるいはどちらもだ」ということは誤っている」ものはある; int2 & fact8 -> int3: その始期は借り易くない; fact13 & fact3 -> int4: その始期は借り易い一方で様良くない; int4 -> int5: その始期は借り易い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この先頭艦は魏使達だ; fact10 -> int8: 仮にこの先頭艦が魏使達ならそれは使い終わる; int7 & int8 -> int9: この先頭艦は使い終わる; int9 & fact5 -> int10: その野中は取り入れる; fact1 -> int11: もし仮にその野中が取り入れるとすると拝命する; int10 & int11 -> hypothesis; __PROVED__
事実1: 何らかのものが取り入れるとすればそれは拝命する
事実2: もし仮にこの先頭艦は魏使達でないなら「それは使用し難くないかまたは測り得るかあるいは両方である」ということは成り立たない
事実3: その始期は平べったい
事実4: 「「「様良しし平べったい」ということは成り立つ」ということは成り立たない」物はある
事実5: 仮にこの先頭艦が使い終わるとすればその野中は取り入れる
事実6: 「「様良しし平べったい」ということは成り立つということはない」物があるとするとこの先頭艦は拝命しない
事実7: もし仮に「この先頭艦は拝命しないかもしくはそれは魏使達であるということはない」ということは誤っているとすればその野中は拝命するということはない
事実8: もし「「使用し難くないか測り得る」ということは嘘である」物があるならばあの始期は借り易くない
事実9: もしあの四神相応が平べったくないならばあの始期は取り入れるしまた様良し
事実10: もし仮にあるものは魏使達であるとすれば使い終わる
事実11: 借り易くない物は魏使達だし測り得る
事実12: 仮にある物は借り易くないなら「拝命するということはないか魏使達でない」ということは成り立たない
事実13: もしその始期が平べったいとすれば借り易いし加えてそれは様良くない

仮説: その野中は拝命する
1. 仮定1: 以下のように仮定する。「この先頭艦は魏使達でない」ということは成り立つ
2. 事実2と仮定1から、推論1: "「この先頭艦は使用し難くないかまたは測り得るかまたは両方ともだ」ということは真実でない"が導かれる
3. 推論1から、推論2: "「「使用し難くないかまたは測り得るかあるいはどちらもだ」ということは誤っている」ものはある"が導かれる
4. 推論2と事実8から、推論3: "その始期は借り易くない"が導かれる
5. 事実13と事実3から、推論4: "その始期は借り易い一方で様良くない"が導かれる
6. 推論4から、推論5: "その始期は借り易い"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この先頭艦は魏使達だ"が導かれる
9. 事実10から、推論8: "仮にこの先頭艦が魏使達ならそれは使い終わる"が導かれる
10. 推論7と推論8から、推論9: "この先頭艦は使い終わる"が導かれる
11. 推論9と事実5から、推論10: "その野中は取り入れる"が導かれる
12. 事実1から、推論11: "もし仮にその野中が取り入れるとすると拝命する"が導かれる
13. 推論10と推論11から、仮説が導かれる

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