この社会法益は疲弊する
fact1: この社会法益は限り無い fact2: この社会法益が千九百二十年代半ばでないならばあの垂れ先は疲弊するし加えて誅殺する fact3: もしもとある物は千九百二十年代半ばでないけれど誅殺するとすると疲弊しない fact4: 仮にその晩鐘が入封しないとすればこの社会法益は千九百二十年代半ばだし惨殺する fact5: この社会法益は疲弊する fact6: その葛葉稲荷は疲弊する fact7: この社会法益は固い fact8: あのアルバム制作は疲弊する fact9: この一斉指導中心は疲弊する fact10: この技法は疲弊する fact11: そのプロポユニットは疲弊する fact12: もしこの社会法益が入封しないとしたら千九百二十年代半ばでない一方で惨殺する fact13: この社会法益はむくつけし fact14: この社会法益は先回りだ
fact5 -> hypothesis;
fact5 -> hypothesis;
この社会法益は疲弊しない
fact15 -> int1: この社会法益は千九百二十年代半ばでないがしかし誅殺するなら疲弊しない;
$facts$ = fact1: この社会法益は限り無い fact2: この社会法益が千九百二十年代半ばでないならばあの垂れ先は疲弊するし加えて誅殺する fact3: もしもとある物は千九百二十年代半ばでないけれど誅殺するとすると疲弊しない fact4: 仮にその晩鐘が入封しないとすればこの社会法益は千九百二十年代半ばだし惨殺する fact5: この社会法益は疲弊する fact6: その葛葉稲荷は疲弊する fact7: この社会法益は固い fact8: あのアルバム制作は疲弊する fact9: この一斉指導中心は疲弊する fact10: この技法は疲弊する fact11: そのプロポユニットは疲弊する fact12: もしこの社会法益が入封しないとしたら千九百二十年代半ばでない一方で惨殺する fact13: この社会法益はむくつけし fact14: この社会法益は先回りだ ; $hypothesis$ = この社会法益は疲弊する ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: この社会法益は限り無い
事実2: この社会法益が千九百二十年代半ばでないならばあの垂れ先は疲弊するし加えて誅殺する
事実3: もしもとある物は千九百二十年代半ばでないけれど誅殺するとすると疲弊しない
事実4: 仮にその晩鐘が入封しないとすればこの社会法益は千九百二十年代半ばだし惨殺する
事実5: この社会法益は疲弊する
事実6: その葛葉稲荷は疲弊する
事実7: この社会法益は固い
事実8: あのアルバム制作は疲弊する
事実9: この一斉指導中心は疲弊する
事実10: この技法は疲弊する
事実11: そのプロポユニットは疲弊する
事実12: もしこの社会法益が入封しないとしたら千九百二十年代半ばでない一方で惨殺する
事実13: この社会法益はむくつけし
事実14: この社会法益は先回りだ

仮説: この社会法益は疲弊する
1. 事実5から、仮説が導かれる

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