その真似事は倒れ伏さない
fact1: この指圧は凌駕する fact2: もし仮にこの物的資源は楽しいとすると「そのスウェットシャツは間違えるということはない一方で一Ｍである」ということは誤っている fact3: もしなにかは必達でないとすると日進月歩でなくてかつそれは働き手である fact4: もしもなにがしかのものが取れ難いならばそれは生白い fact5: すべては一Ｍだ fact6: もしもそのスウェットシャツが働き手であるならばこの物的資源は一Ｍだ fact7: もしもこの物的資源は必達であるとすれば「楽しくない」ということは偽である fact8: もしもこの指圧は凌駕するなら「その過料は日進月歩であるが表現し難くない」ということは真実でない fact9: なにかは必達でないとすると日進月歩でない fact10: もしこの物的資源が表現し難いとしたらその真似事は倒れ伏さない fact11: もしもある物が日進月歩でないがそれは働き手であるとすると表現し難い fact12: もしこの物的資源が必達でないとすればそれは日進月歩でない fact13: もしある物が懐かしくないとすれば探検家でなくて上奏する fact14: もし「その過料は日進月歩だ一方でそれは表現し難くない」ということは偽であるとすればあの所期は働き手である fact15: もしこの所期が働き手ならそのスウェットシャツは働き手だ fact16: 「その真似事は働き手だ」ということは誤っている fact17: もし仮にそのスウェットシャツは表現し難くないけど日進月歩であるとすればそれは一Ｍである fact18: その真似事は柔い fact19: もしもある物が必達だということはないとすればそれは倒れ伏さなくてしかも一Ｍである fact20: すべての物は間違えないけれど一Ｍである fact21: もしも「間違える」物があるとすればあの真似事は楽しいか必達だ
void -> assump1: 以下のように仮定する。「この物的資源は必達である」ということは成り立つ; fact7 & assump1 -> int1: この物的資源は楽しい; int1 & fact2 -> int2: 「そのスウェットシャツは間違えないけれど一Ｍである」ということは嘘である; fact20 -> int3: そのスウェットシャツは間違えないがしかし一Ｍである; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この物的資源は必達でない; fact3 -> int6: もし仮にこの物的資源が必達でないならば日進月歩でないし働き手だ; int5 & int6 -> int7: この物的資源は日進月歩であるということはないけれどそれは働き手である; fact11 -> int8: 仮にこの物的資源が日進月歩であるということはないけど働き手ならそれは表現し難い; int7 & int8 -> int9: この物的資源は表現し難い; int9 & fact10 -> hypothesis;
仮にあの東南東が取れ難いならば生白い
fact22 -> hypothesis;
$facts$ = fact1: この指圧は凌駕する fact2: もし仮にこの物的資源は楽しいとすると「そのスウェットシャツは間違えるということはない一方で一Ｍである」ということは誤っている fact3: もしなにかは必達でないとすると日進月歩でなくてかつそれは働き手である fact4: もしもなにがしかのものが取れ難いならばそれは生白い fact5: すべては一Ｍだ fact6: もしもそのスウェットシャツが働き手であるならばこの物的資源は一Ｍだ fact7: もしもこの物的資源は必達であるとすれば「楽しくない」ということは偽である fact8: もしもこの指圧は凌駕するなら「その過料は日進月歩であるが表現し難くない」ということは真実でない fact9: なにかは必達でないとすると日進月歩でない fact10: もしこの物的資源が表現し難いとしたらその真似事は倒れ伏さない fact11: もしもある物が日進月歩でないがそれは働き手であるとすると表現し難い fact12: もしこの物的資源が必達でないとすればそれは日進月歩でない fact13: もしある物が懐かしくないとすれば探検家でなくて上奏する fact14: もし「その過料は日進月歩だ一方でそれは表現し難くない」ということは偽であるとすればあの所期は働き手である fact15: もしこの所期が働き手ならそのスウェットシャツは働き手だ fact16: 「その真似事は働き手だ」ということは誤っている fact17: もし仮にそのスウェットシャツは表現し難くないけど日進月歩であるとすればそれは一Ｍである fact18: その真似事は柔い fact19: もしもある物が必達だということはないとすればそれは倒れ伏さなくてしかも一Ｍである fact20: すべての物は間違えないけれど一Ｍである fact21: もしも「間違える」物があるとすればあの真似事は楽しいか必達だ ; $hypothesis$ = その真似事は倒れ伏さない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この物的資源は必達である」ということは成り立つ; fact7 & assump1 -> int1: この物的資源は楽しい; int1 & fact2 -> int2: 「そのスウェットシャツは間違えないけれど一Ｍである」ということは嘘である; fact20 -> int3: そのスウェットシャツは間違えないがしかし一Ｍである; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この物的資源は必達でない; fact3 -> int6: もし仮にこの物的資源が必達でないならば日進月歩でないし働き手だ; int5 & int6 -> int7: この物的資源は日進月歩であるということはないけれどそれは働き手である; fact11 -> int8: 仮にこの物的資源が日進月歩であるということはないけど働き手ならそれは表現し難い; int7 & int8 -> int9: この物的資源は表現し難い; int9 & fact10 -> hypothesis; __PROVED__
事実1: この指圧は凌駕する
事実2: もし仮にこの物的資源は楽しいとすると「そのスウェットシャツは間違えるということはない一方で一Ｍである」ということは誤っている
事実3: もしなにかは必達でないとすると日進月歩でなくてかつそれは働き手である
事実4: もしもなにがしかのものが取れ難いならばそれは生白い
事実5: すべては一Ｍだ
事実6: もしもそのスウェットシャツが働き手であるならばこの物的資源は一Ｍだ
事実7: もしもこの物的資源は必達であるとすれば「楽しくない」ということは偽である
事実8: もしもこの指圧は凌駕するなら「その過料は日進月歩であるが表現し難くない」ということは真実でない
事実9: なにかは必達でないとすると日進月歩でない
事実10: もしこの物的資源が表現し難いとしたらその真似事は倒れ伏さない
事実11: もしもある物が日進月歩でないがそれは働き手であるとすると表現し難い
事実12: もしこの物的資源が必達でないとすればそれは日進月歩でない
事実13: もしある物が懐かしくないとすれば探検家でなくて上奏する
事実14: もし「その過料は日進月歩だ一方でそれは表現し難くない」ということは偽であるとすればあの所期は働き手である
事実15: もしこの所期が働き手ならそのスウェットシャツは働き手だ
事実16: 「その真似事は働き手だ」ということは誤っている
事実17: もし仮にそのスウェットシャツは表現し難くないけど日進月歩であるとすればそれは一Ｍである
事実18: その真似事は柔い
事実19: もしもある物が必達だということはないとすればそれは倒れ伏さなくてしかも一Ｍである
事実20: すべての物は間違えないけれど一Ｍである
事実21: もしも「間違える」物があるとすればあの真似事は楽しいか必達だ

仮説: その真似事は倒れ伏さない
1. 仮定1: 以下のように仮定する。「この物的資源は必達である」ということは成り立つ
2. 事実7と仮定1から、推論1: "この物的資源は楽しい"が導かれる
3. 推論1と事実2から、推論2: "「そのスウェットシャツは間違えないけれど一Ｍである」ということは嘘である"が導かれる
4. 事実20から、推論3: "そのスウェットシャツは間違えないがしかし一Ｍである"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この物的資源は必達でない"が導かれる
7. 事実3から、推論6: "もし仮にこの物的資源が必達でないならば日進月歩でないし働き手だ"が導かれる
8. 推論5と推論6から、推論7: "この物的資源は日進月歩であるということはないけれどそれは働き手である"が導かれる
9. 事実11から、推論8: "仮にこの物的資源が日進月歩であるということはないけど働き手ならそれは表現し難い"が導かれる
10. 推論7と推論8から、推論9: "この物的資源は表現し難い"が導かれる
11. 推論9と事実10から、仮説が導かれる

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