「この超大国は漂い続けるしそれは涙ぐましい」ということは事実だ
fact1: この超大国は漂い続ける fact2: 仮にあるものは修行出来ないとすると「それは静太夫でないけれど膨れ上がる」ということは間違っている fact3: もし仮に「あの危険性・蓋然性は静太夫であるということはないけれど膨れ上がる」ということは成り立たないとすればこの分類区分は膨れ上がらない fact4: もし「なんらかのものが膨れ上がるしその上それは口惜しい」ということは正しくないとしたらそれは脆いということはない fact5: もしもこの笹類が組み込まないならそれは即応するしおまけにそれは湿気易い fact6: この超大国は湿気易くない fact7: もしこの超大国が湿気易くないとするとそれは漂い続けるしかつ涙ぐましい fact8: 仮に「この選手層は湿気易いけれど援助出来ない」ということは偽だとしたら涙ぐましくない fact9: この超大国は注射器であるということはない fact10: もしなにがしかのものは援助出来るとすると「この選手層は湿気易いがしかしそれは援助出来ない」ということは嘘である fact11: あの優婆塞は脆いなら「この一目均衡表は援助出来る」ということは真実である fact12: もし仮になにがしかの物は膨れ上がるということはないとしたら「それは口惜しいししかも脆くない」ということは成り立たない fact13: もし仮にこの超大国が湿気易くないならそれは漂い続ける fact14: 「この分類区分は口惜しいけどそれは脆くない」ということは間違っているとすればあの優婆塞は脆い fact15: あの危険性・蓋然性は修行出来ないしかつ我が儘でない
fact7 & fact6 -> hypothesis;
fact7 & fact6 -> hypothesis;
その艶消しは湿気易くない
fact16 -> int1: もしも「この超大国は膨れ上がるしかつ口惜しい」ということは嘘であるとしたら脆くない;
$facts$ = fact1: この超大国は漂い続ける fact2: 仮にあるものは修行出来ないとすると「それは静太夫でないけれど膨れ上がる」ということは間違っている fact3: もし仮に「あの危険性・蓋然性は静太夫であるということはないけれど膨れ上がる」ということは成り立たないとすればこの分類区分は膨れ上がらない fact4: もし「なんらかのものが膨れ上がるしその上それは口惜しい」ということは正しくないとしたらそれは脆いということはない fact5: もしもこの笹類が組み込まないならそれは即応するしおまけにそれは湿気易い fact6: この超大国は湿気易くない fact7: もしこの超大国が湿気易くないとするとそれは漂い続けるしかつ涙ぐましい fact8: 仮に「この選手層は湿気易いけれど援助出来ない」ということは偽だとしたら涙ぐましくない fact9: この超大国は注射器であるということはない fact10: もしなにがしかのものは援助出来るとすると「この選手層は湿気易いがしかしそれは援助出来ない」ということは嘘である fact11: あの優婆塞は脆いなら「この一目均衡表は援助出来る」ということは真実である fact12: もし仮になにがしかの物は膨れ上がるということはないとしたら「それは口惜しいししかも脆くない」ということは成り立たない fact13: もし仮にこの超大国が湿気易くないならそれは漂い続ける fact14: 「この分類区分は口惜しいけどそれは脆くない」ということは間違っているとすればあの優婆塞は脆い fact15: あの危険性・蓋然性は修行出来ないしかつ我が儘でない ; $hypothesis$ = 「この超大国は漂い続けるしそれは涙ぐましい」ということは事実だ ; $proof$ = 
fact7 & fact6 -> hypothesis; __PROVED__
事実1: この超大国は漂い続ける
事実2: 仮にあるものは修行出来ないとすると「それは静太夫でないけれど膨れ上がる」ということは間違っている
事実3: もし仮に「あの危険性・蓋然性は静太夫であるということはないけれど膨れ上がる」ということは成り立たないとすればこの分類区分は膨れ上がらない
事実4: もし「なんらかのものが膨れ上がるしその上それは口惜しい」ということは正しくないとしたらそれは脆いということはない
事実5: もしもこの笹類が組み込まないならそれは即応するしおまけにそれは湿気易い
事実6: この超大国は湿気易くない
事実7: もしこの超大国が湿気易くないとするとそれは漂い続けるしかつ涙ぐましい
事実8: 仮に「この選手層は湿気易いけれど援助出来ない」ということは偽だとしたら涙ぐましくない
事実9: この超大国は注射器であるということはない
事実10: もしなにがしかのものは援助出来るとすると「この選手層は湿気易いがしかしそれは援助出来ない」ということは嘘である
事実11: あの優婆塞は脆いなら「この一目均衡表は援助出来る」ということは真実である
事実12: もし仮になにがしかの物は膨れ上がるということはないとしたら「それは口惜しいししかも脆くない」ということは成り立たない
事実13: もし仮にこの超大国が湿気易くないならそれは漂い続ける
事実14: 「この分類区分は口惜しいけどそれは脆くない」ということは間違っているとすればあの優婆塞は脆い
事実15: あの危険性・蓋然性は修行出来ないしかつ我が儘でない

仮説: 「この超大国は漂い続けるしそれは涙ぐましい」ということは事実だ
1. 事実7と事実6から、仮説が導かれる

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