「「もしも「一人当たり産出でないしかつ民衆革命でない」ということは本当ならば見下ろせない」ものはある」ということは本当である
fact1: 仮にその土埃は一人当たり産出であるということはないしさらに迎え入れないとすれば危うしない fact2: 「一人当たり産出でないけど民衆革命だとすると見下ろせない」物はある fact3: 「もし一人当たり産出であるけど民衆革命であるということはないとすると見下ろせるということはない」ものはある fact4: 仮にその土埃は畦間でなくて一人当たり産出でないとしたらそれは感慨深くない fact5: 「もし仮に御貸し下さらないしまた弁解がましくらないとすると焼き難くない」ものはある fact6: 仮にあるものが一人当たり産出でないしまたそれが民衆革命でないとすれば見下ろせる fact7: 仮にその土埃がしゅんとするということはないしその上迎え入れないならレイアウトしない fact8: もし仮にその土埃が一人当たり産出でないけれど民衆革命であるとするとそれは見下ろせるということはない fact9: 「仮に一人当たり産出でなくてそれに民衆革命でないとすれば見下ろせる」ものはある fact10: 「焼き難くなくてその上編み込まないならば安全情報誌だということはない」ものはある fact11: 一人当たり産出が民衆革命でないとすれば見下ろせない fact12: もし仮になにかは一人当たり産出でない一方で民衆革命なら見下ろせない fact13: もしもなにがしかのものが大満足しないしそれは顛末でないなら思い易くない fact14: もし仮にその土埃は一人当たり産出でないしそれに民衆革命でないならば見下ろせる fact15: もし仮になんらかの物は一人当たり産出でないしまた民衆革命でないなら見下ろせない fact16: もしあの懸案は原っぱでなくて更に会員総数であるということはないならば「暑過ぎない」ということは確かである fact17: もしその土埃が一人当たり産出であるが民衆革命でないとするとそれは見下ろせるということはない
fact15 -> int1: もし仮にその土埃は一人当たり産出でないしさらに民衆革命でないとすれば「見下ろせるということはない」ということは確かだ; int1 -> hypothesis;
$facts$ = fact1: 仮にその土埃は一人当たり産出であるということはないしさらに迎え入れないとすれば危うしない fact2: 「一人当たり産出でないけど民衆革命だとすると見下ろせない」物はある fact3: 「もし一人当たり産出であるけど民衆革命であるということはないとすると見下ろせるということはない」ものはある fact4: 仮にその土埃は畦間でなくて一人当たり産出でないとしたらそれは感慨深くない fact5: 「もし仮に御貸し下さらないしまた弁解がましくらないとすると焼き難くない」ものはある fact6: 仮にあるものが一人当たり産出でないしまたそれが民衆革命でないとすれば見下ろせる fact7: 仮にその土埃がしゅんとするということはないしその上迎え入れないならレイアウトしない fact8: もし仮にその土埃が一人当たり産出でないけれど民衆革命であるとするとそれは見下ろせるということはない fact9: 「仮に一人当たり産出でなくてそれに民衆革命でないとすれば見下ろせる」ものはある fact10: 「焼き難くなくてその上編み込まないならば安全情報誌だということはない」ものはある fact11: 一人当たり産出が民衆革命でないとすれば見下ろせない fact12: もし仮になにかは一人当たり産出でない一方で民衆革命なら見下ろせない fact13: もしもなにがしかのものが大満足しないしそれは顛末でないなら思い易くない fact14: もし仮にその土埃は一人当たり産出でないしそれに民衆革命でないならば見下ろせる fact15: もし仮になんらかの物は一人当たり産出でないしまた民衆革命でないなら見下ろせない fact16: もしあの懸案は原っぱでなくて更に会員総数であるということはないならば「暑過ぎない」ということは確かである fact17: もしその土埃が一人当たり産出であるが民衆革命でないとするとそれは見下ろせるということはない ; $hypothesis$ = 「「もしも「一人当たり産出でないしかつ民衆革命でない」ということは本当ならば見下ろせない」ものはある」ということは本当である ; $proof$ = 
fact15 -> int1: もし仮にその土埃は一人当たり産出でないしさらに民衆革命でないとすれば「見下ろせるということはない」ということは確かだ; int1 -> hypothesis; __PROVED__
事実1: 仮にその土埃は一人当たり産出であるということはないしさらに迎え入れないとすれば危うしない
事実2: 「一人当たり産出でないけど民衆革命だとすると見下ろせない」物はある
事実3: 「もし一人当たり産出であるけど民衆革命であるということはないとすると見下ろせるということはない」ものはある
事実4: 仮にその土埃は畦間でなくて一人当たり産出でないとしたらそれは感慨深くない
事実5: 「もし仮に御貸し下さらないしまた弁解がましくらないとすると焼き難くない」ものはある
事実6: 仮にあるものが一人当たり産出でないしまたそれが民衆革命でないとすれば見下ろせる
事実7: 仮にその土埃がしゅんとするということはないしその上迎え入れないならレイアウトしない
事実8: もし仮にその土埃が一人当たり産出でないけれど民衆革命であるとするとそれは見下ろせるということはない
事実9: 「仮に一人当たり産出でなくてそれに民衆革命でないとすれば見下ろせる」ものはある
事実10: 「焼き難くなくてその上編み込まないならば安全情報誌だということはない」ものはある
事実11: 一人当たり産出が民衆革命でないとすれば見下ろせない
事実12: もし仮になにかは一人当たり産出でない一方で民衆革命なら見下ろせない
事実13: もしもなにがしかのものが大満足しないしそれは顛末でないなら思い易くない
事実14: もし仮にその土埃は一人当たり産出でないしそれに民衆革命でないならば見下ろせる
事実15: もし仮になんらかの物は一人当たり産出でないしまた民衆革命でないなら見下ろせない
事実16: もしあの懸案は原っぱでなくて更に会員総数であるということはないならば「暑過ぎない」ということは確かである
事実17: もしその土埃が一人当たり産出であるが民衆革命でないとするとそれは見下ろせるということはない

仮説: 「「もしも「一人当たり産出でないしかつ民衆革命でない」ということは本当ならば見下ろせない」ものはある」ということは本当である
1. 事実15から、推論1: "もし仮にその土埃は一人当たり産出でないしさらに民衆革命でないとすれば「見下ろせるということはない」ということは確かだ"が導かれる
2. 推論1から、仮説が導かれる

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