「この男女共同参画は惚気る」ということは確かである
fact1: この男女共同参画はきらめき渡る fact2: あの幕間劇は惚気る fact3: もしも「あの集計作業は惚気るしその上生き辛い」ということは成り立たないならこの男女共同参画は惚気るということはない fact4: あのテレビニュースは惚気る fact5: この男女共同参画は惚気る fact6: この男女共同参画は荒っぽい fact7: この男女共同参画は生き辛い fact8: この男女共同参画は手際良い fact9: 仮になにかは難しかないとすると惚気るしさらに生き辛い fact10: その御馬鹿さんは惚気る fact11: この男女共同参画は完工する fact12: その広帯域接続は惚気る fact13: もし仮に「なにかは難しいがしかし理解し辛くない」ということは成り立たないとしたらそれは難しかない fact14: そのコリンは惚気る fact15: あの株式交換は惚気る fact16: 「あの入所児童は惚気る」ということは事実である fact17: この男女共同参画は黒し
fact5 -> hypothesis;
fact5 -> hypothesis;
この男女共同参画は惚気るない
$facts$ = fact1: この男女共同参画はきらめき渡る fact2: あの幕間劇は惚気る fact3: もしも「あの集計作業は惚気るしその上生き辛い」ということは成り立たないならこの男女共同参画は惚気るということはない fact4: あのテレビニュースは惚気る fact5: この男女共同参画は惚気る fact6: この男女共同参画は荒っぽい fact7: この男女共同参画は生き辛い fact8: この男女共同参画は手際良い fact9: 仮になにかは難しかないとすると惚気るしさらに生き辛い fact10: その御馬鹿さんは惚気る fact11: この男女共同参画は完工する fact12: その広帯域接続は惚気る fact13: もし仮に「なにかは難しいがしかし理解し辛くない」ということは成り立たないとしたらそれは難しかない fact14: そのコリンは惚気る fact15: あの株式交換は惚気る fact16: 「あの入所児童は惚気る」ということは事実である fact17: この男女共同参画は黒し ; $hypothesis$ = 「この男女共同参画は惚気る」ということは確かである ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: この男女共同参画はきらめき渡る
事実2: あの幕間劇は惚気る
事実3: もしも「あの集計作業は惚気るしその上生き辛い」ということは成り立たないならこの男女共同参画は惚気るということはない
事実4: あのテレビニュースは惚気る
事実5: この男女共同参画は惚気る
事実6: この男女共同参画は荒っぽい
事実7: この男女共同参画は生き辛い
事実8: この男女共同参画は手際良い
事実9: 仮になにかは難しかないとすると惚気るしさらに生き辛い
事実10: その御馬鹿さんは惚気る
事実11: この男女共同参画は完工する
事実12: その広帯域接続は惚気る
事実13: もし仮に「なにかは難しいがしかし理解し辛くない」ということは成り立たないとしたらそれは難しかない
事実14: そのコリンは惚気る
事実15: あの株式交換は惚気る
事実16: 「あの入所児童は惚気る」ということは事実である
事実17: この男女共同参画は黒し

仮説: 「この男女共同参画は惚気る」ということは確かである
1. 事実5から、仮説が導かれる

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