「もしも「船出しなくて歩き辛い」ということは誤りだとするとエストロゲン効果である」物はある
fact1: もし「「あの西洋式は船出するし歩き辛い」ということは確かである」ということは間違いだとしたらエストロゲン効果だ fact2: もし仮に「あの西洋式は船出しない一方で歩き辛い」ということは偽であるとすればエストロゲン効果だ fact3: もし仮に「なんらかの物は中廊下式住宅でないけど儚い」ということは間違いであるとしたら言い切れる fact4: 「もしも「涼しかないがしかし持ち掛ける」ということは本当であるとしたら跳ね踊る」物はある
fact2 -> hypothesis;
「「仮に「中廊下式住宅でないししかも儚い」ということは本当でないとしたら言い切れる」ものはある」ということは事実だ
fact5 -> int1: 仮に「この済み部は中廊下式住宅でないがそれは儚い」ということは偽だとすれば言い切れる; int1 -> hypothesis;
$facts$ = fact1: もし「「あの西洋式は船出するし歩き辛い」ということは確かである」ということは間違いだとしたらエストロゲン効果だ fact2: もし仮に「あの西洋式は船出しない一方で歩き辛い」ということは偽であるとすればエストロゲン効果だ fact3: もし仮に「なんらかの物は中廊下式住宅でないけど儚い」ということは間違いであるとしたら言い切れる fact4: 「もしも「涼しかないがしかし持ち掛ける」ということは本当であるとしたら跳ね踊る」物はある ; $hypothesis$ = 「もしも「船出しなくて歩き辛い」ということは誤りだとするとエストロゲン効果である」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし「「あの西洋式は船出するし歩き辛い」ということは確かである」ということは間違いだとしたらエストロゲン効果だ
事実2: もし仮に「あの西洋式は船出しない一方で歩き辛い」ということは偽であるとすればエストロゲン効果だ
事実3: もし仮に「なんらかの物は中廊下式住宅でないけど儚い」ということは間違いであるとしたら言い切れる
事実4: 「もしも「涼しかないがしかし持ち掛ける」ということは本当であるとしたら跳ね踊る」物はある

仮説: 「もしも「船出しなくて歩き辛い」ということは誤りだとするとエストロゲン効果である」物はある
1. 事実2から、仮説が導かれる

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