その我楽多は歩き易い
fact1: 「あの専制権力は地中深くないが谷町である」ということは誤りである fact2: もしあの専制権力が地中深いということはないしおまけにそれが谷町でないとしたらその田舎町は看過し難い fact3: もしなにかは把握し難いならばそれは歩き易くないしそれは看過し難くない fact4: もしもその田舎町は看過し難いとすると「「その総理総裁派閥は看過し難いけどそれは把握し難くない」ということは成り立つ」ということは成り立たない fact5: もしその総理総裁派閥が潔いということはないならその田舎町は使用し易くて加えて把握し難い fact6: あの専制権力は谷町でない fact7: もし仮にその総理総裁派閥は紅姫であるとしたら潔くない fact8: 仮に「あの専制権力は地中深くなくて加えて谷町でない」ということは正しいということはないとするとその我楽多は歩き易い fact9: その総理総裁派閥は看過し難いが把握し難くない fact10: 歩き易くない物は書き留めるがしかし未練がましかない
void -> assump1: 以下のように仮定する。あの専制権力は地中深くないし更に谷町でない; fact2 & assump1 -> int1: その田舎町は看過し難い; int1 & fact4 -> int2: 「その総理総裁派閥は看過し難いけれど把握し難くない」ということは偽だ; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの専制権力は地中深くないしそれに谷町でない」ということは成り立たない; int4 & fact8 -> hypothesis;
その演習問題は書き留めるが未練がましかない
fact11 -> int5: もしその演習問題が歩き易くないとすればそれが書き留めるしその上それは未練がましかない;
$facts$ = fact1: 「あの専制権力は地中深くないが谷町である」ということは誤りである fact2: もしあの専制権力が地中深いということはないしおまけにそれが谷町でないとしたらその田舎町は看過し難い fact3: もしなにかは把握し難いならばそれは歩き易くないしそれは看過し難くない fact4: もしもその田舎町は看過し難いとすると「「その総理総裁派閥は看過し難いけどそれは把握し難くない」ということは成り立つ」ということは成り立たない fact5: もしその総理総裁派閥が潔いということはないならその田舎町は使用し易くて加えて把握し難い fact6: あの専制権力は谷町でない fact7: もし仮にその総理総裁派閥は紅姫であるとしたら潔くない fact8: 仮に「あの専制権力は地中深くなくて加えて谷町でない」ということは正しいということはないとするとその我楽多は歩き易い fact9: その総理総裁派閥は看過し難いが把握し難くない fact10: 歩き易くない物は書き留めるがしかし未練がましかない ; $hypothesis$ = その我楽多は歩き易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの専制権力は地中深くないし更に谷町でない; fact2 & assump1 -> int1: その田舎町は看過し難い; int1 & fact4 -> int2: 「その総理総裁派閥は看過し難いけれど把握し難くない」ということは偽だ; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの専制権力は地中深くないしそれに谷町でない」ということは成り立たない; int4 & fact8 -> hypothesis; __PROVED__
事実1: 「あの専制権力は地中深くないが谷町である」ということは誤りである
事実2: もしあの専制権力が地中深いということはないしおまけにそれが谷町でないとしたらその田舎町は看過し難い
事実3: もしなにかは把握し難いならばそれは歩き易くないしそれは看過し難くない
事実4: もしもその田舎町は看過し難いとすると「「その総理総裁派閥は看過し難いけどそれは把握し難くない」ということは成り立つ」ということは成り立たない
事実5: もしその総理総裁派閥が潔いということはないならその田舎町は使用し易くて加えて把握し難い
事実6: あの専制権力は谷町でない
事実7: もし仮にその総理総裁派閥は紅姫であるとしたら潔くない
事実8: 仮に「あの専制権力は地中深くなくて加えて谷町でない」ということは正しいということはないとするとその我楽多は歩き易い
事実9: その総理総裁派閥は看過し難いが把握し難くない
事実10: 歩き易くない物は書き留めるがしかし未練がましかない

仮説: その我楽多は歩き易い
1. 仮定1: 以下のように仮定する。あの専制権力は地中深くないし更に谷町でない
2. 事実2と仮定1から、推論1: "その田舎町は看過し難い"が導かれる
3. 推論1と事実4から、推論2: "「その総理総裁派閥は看過し難いけれど把握し難くない」ということは偽だ"が導かれる
4. 推論2と事実9から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの専制権力は地中深くないしそれに谷町でない」ということは成り立たない"が導かれる
6. 推論4と事実8から、仮説が導かれる

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