あの水平線は想像し易くない
fact1: もし仮にあの水平線がけたたましくないけれどそれが想像し易いとすればこのマクロ経済分析は軽々しい fact2: あの水平線はけたたましいということはない fact3: あのディーアークは頑是無くない fact4: なにがしかのものは軽々しかないならば「けたたましくておまけに想像し易いということはない」ということは成り立つということはない fact5: もしもなにがしかの物が軽々しかないとしたらそれは左右され易くない fact6: 重化学工業化は想像し易くない fact7: 仮に「何らかの物は底深い」ということは間違っていないとしたら「重化学工業化であるかもしくは左右され易くない」ということは間違っている fact8: もしもこのマクロ経済分析が軽々しいとするとあのＢさんは軽々しかなくて加えてそれは頑是無くない fact9: 「あのＢさんは底深い」ということは正しい fact10: 「このマクロ経済分析はうら若いかまたはそれはＣＯＡだということはない」ということは間違っている fact11: もしもなにがしかのものはけたたましいなら「それは左右され易いかもしくはそれは紳士らしくない」ということは成り立たない
void -> assump1: 以下のように仮定する。あの水平線は想像し易い; fact2 & assump1 -> int1: あの水平線はけたたましくないけれど想像し易い; int1 & fact1 -> int2: このマクロ経済分析は軽々しい; int2 & fact8 -> int3: あのＢさんが軽々しいということはないしさらに頑是無いということはない; int3 -> int4: あのＢさんは軽々しかない; fact5 -> int5: もし仮にあのＢさんが軽々しかないとするとそれは左右され易くない; int4 & int5 -> int6: あのＢさんは左右され易いということはない; int6 -> int7: あのＢさんは重化学工業化であるかもしくは左右され易くない; fact7 -> int8: もし仮にあのＢさんは底深いとすれば「重化学工業化であるかもしくは左右され易いということはないか両方だ」ということは成り立たない; int8 & fact9 -> int9: 「あのＢさんは重化学工業化であるかまたは左右され易くないかまたは両方である」ということは間違っている; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
あの水平線は想像し易い
fact12 -> int11: あの水平線は軽々しかないなら「けたたましくてかつ想像し易くない」ということは成り立たない;
$facts$ = fact1: もし仮にあの水平線がけたたましくないけれどそれが想像し易いとすればこのマクロ経済分析は軽々しい fact2: あの水平線はけたたましいということはない fact3: あのディーアークは頑是無くない fact4: なにがしかのものは軽々しかないならば「けたたましくておまけに想像し易いということはない」ということは成り立つということはない fact5: もしもなにがしかの物が軽々しかないとしたらそれは左右され易くない fact6: 重化学工業化は想像し易くない fact7: 仮に「何らかの物は底深い」ということは間違っていないとしたら「重化学工業化であるかもしくは左右され易くない」ということは間違っている fact8: もしもこのマクロ経済分析が軽々しいとするとあのＢさんは軽々しかなくて加えてそれは頑是無くない fact9: 「あのＢさんは底深い」ということは正しい fact10: 「このマクロ経済分析はうら若いかまたはそれはＣＯＡだということはない」ということは間違っている fact11: もしもなにがしかのものはけたたましいなら「それは左右され易いかもしくはそれは紳士らしくない」ということは成り立たない ; $hypothesis$ = あの水平線は想像し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの水平線は想像し易い; fact2 & assump1 -> int1: あの水平線はけたたましくないけれど想像し易い; int1 & fact1 -> int2: このマクロ経済分析は軽々しい; int2 & fact8 -> int3: あのＢさんが軽々しいということはないしさらに頑是無いということはない; int3 -> int4: あのＢさんは軽々しかない; fact5 -> int5: もし仮にあのＢさんが軽々しかないとするとそれは左右され易くない; int4 & int5 -> int6: あのＢさんは左右され易いということはない; int6 -> int7: あのＢさんは重化学工業化であるかもしくは左右され易くない; fact7 -> int8: もし仮にあのＢさんは底深いとすれば「重化学工業化であるかもしくは左右され易いということはないか両方だ」ということは成り立たない; int8 & fact9 -> int9: 「あのＢさんは重化学工業化であるかまたは左右され易くないかまたは両方である」ということは間違っている; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: もし仮にあの水平線がけたたましくないけれどそれが想像し易いとすればこのマクロ経済分析は軽々しい
事実2: あの水平線はけたたましいということはない
事実3: あのディーアークは頑是無くない
事実4: なにがしかのものは軽々しかないならば「けたたましくておまけに想像し易いということはない」ということは成り立つということはない
事実5: もしもなにがしかの物が軽々しかないとしたらそれは左右され易くない
事実6: 重化学工業化は想像し易くない
事実7: 仮に「何らかの物は底深い」ということは間違っていないとしたら「重化学工業化であるかもしくは左右され易くない」ということは間違っている
事実8: もしもこのマクロ経済分析が軽々しいとするとあのＢさんは軽々しかなくて加えてそれは頑是無くない
事実9: 「あのＢさんは底深い」ということは正しい
事実10: 「このマクロ経済分析はうら若いかまたはそれはＣＯＡだということはない」ということは間違っている
事実11: もしもなにがしかのものはけたたましいなら「それは左右され易いかもしくはそれは紳士らしくない」ということは成り立たない

仮説: あの水平線は想像し易くない
1. 仮定1: 以下のように仮定する。あの水平線は想像し易い
2. 事実2と仮定1から、推論1: "あの水平線はけたたましくないけれど想像し易い"が導かれる
3. 推論1と事実1から、推論2: "このマクロ経済分析は軽々しい"が導かれる
4. 推論2と事実8から、推論3: "あのＢさんが軽々しいということはないしさらに頑是無いということはない"が導かれる
5. 推論3から、推論4: "あのＢさんは軽々しかない"が導かれる
6. 事実5から、推論5: "もし仮にあのＢさんが軽々しかないとするとそれは左右され易くない"が導かれる
7. 推論4と推論5から、推論6: "あのＢさんは左右され易いということはない"が導かれる
8. 推論6から、推論7: "あのＢさんは重化学工業化であるかもしくは左右され易くない"が導かれる
9. 事実7から、推論8: "もし仮にあのＢさんは底深いとすれば「重化学工業化であるかもしくは左右され易いということはないか両方だ」ということは成り立たない"が導かれる
10. 推論8と事実9から、推論9: "「あのＢさんは重化学工業化であるかまたは左右され易くないかまたは両方である」ということは間違っている"が導かれる
11. 推論7と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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