この蟷螂は分離し易いということはなくて美味しかない
fact1: もし仮にこの落差が変動費化するならこの蟷螂は首っ引きでないがそれは揚げ立てである fact2: 仮に「そのオプション市場はマネタリズム理論だ」ということは真実だとすればあの活性発現は爆走する fact3: もしあの活性発現が爆走するとするとあの十二級は居続ける fact4: この蟷螂は分離し易くないしおまけに美味しかない fact5: もし仮になんらかの物は揚げ立てであるとしたら「それは分離し易いということはないし美味しかない」ということは間違いだ fact6: 「あの十二級は居続ける」ということは本当ならばこの落差は変動費化する
fact4 -> hypothesis;
fact4 -> hypothesis;
「この蟷螂は分離し易くないし更に美味しかない」ということは事実でない
fact9 -> int1: もしもこの蟷螂は揚げ立てならば「それは分離し易くないしさらに美味しかない」ということは嘘である;
$facts$ = fact1: もし仮にこの落差が変動費化するならこの蟷螂は首っ引きでないがそれは揚げ立てである fact2: 仮に「そのオプション市場はマネタリズム理論だ」ということは真実だとすればあの活性発現は爆走する fact3: もしあの活性発現が爆走するとするとあの十二級は居続ける fact4: この蟷螂は分離し易くないしおまけに美味しかない fact5: もし仮になんらかの物は揚げ立てであるとしたら「それは分離し易いということはないし美味しかない」ということは間違いだ fact6: 「あの十二級は居続ける」ということは本当ならばこの落差は変動費化する ; $hypothesis$ = この蟷螂は分離し易いということはなくて美味しかない ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし仮にこの落差が変動費化するならこの蟷螂は首っ引きでないがそれは揚げ立てである
事実2: 仮に「そのオプション市場はマネタリズム理論だ」ということは真実だとすればあの活性発現は爆走する
事実3: もしあの活性発現が爆走するとするとあの十二級は居続ける
事実4: この蟷螂は分離し易くないしおまけに美味しかない
事実5: もし仮になんらかの物は揚げ立てであるとしたら「それは分離し易いということはないし美味しかない」ということは間違いだ
事実6: 「あの十二級は居続ける」ということは本当ならばこの落差は変動費化する

仮説: この蟷螂は分離し易いということはなくて美味しかない
1. 事実4から、仮説が導かれる

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