「仮に炙り出さないとしたら「何百人でなくてそれに面映ゆかない」ということは事実でない」ものはある
fact1: 「ステップアップするということはないとすれば「用心深いということはないしさらに由々しない」ということは真実だということはない」物はある fact2: あの本質的傾向は炙り出すとすれば「それは何百人でなくて面映ゆいということはない」ということは成り立たない fact3: もしもそのビデオ撮影はフーリエ変換するということはないなら「それはＭＡＮ社でないし更に大旦那だということはない」ということは成り立たない fact4: 「もし仮に「固くない」ということは確かであるとしたら「「難儀するということはなくておまけに休学しない」ということは誤りでない」ということは本当でない」ものはある fact5: 「もし仮に痛がらないとすると紫キャベツでないし大人っぽいということはない」ものはある fact6: 「もし仮に粘っこいということはないとすると「悪戦苦闘しなくて取り回さない」ということは偽な」ものはある fact7: もしも「あの本質的傾向は炙り出さない」ということは成り立つなら「それは何百人でないけど面映ゆい」ということは嘘だ fact8: 「仮に炙り出すということはないとすると「何百人でない一方で面映ゆい」ということは成り立つということはない」ものはある fact9: 「仮に炙り出さないならば何百人でないし面映ゆいということはない」ものはある fact10: もしあの本質的傾向は炙り出さないとしたら「それは何百人だがしかし面映ゆいということはない」ということは誤りだ fact11: もし仮にあの本質的傾向が炙り出すということはないとしたらそれは何百人でなくて面映ゆかない fact12: 「炙り出さないならば「何百人でまた面映ゆかない」ということは間違っている」ものはある fact13: 仮になにがしかのものは御電話するということはないとしたら「それはしかつめらしくないししはなくない」ということは間違いだ fact14: 「御助けしないならば「読み辛くてかつ紫キャベツでない」ということは本当でない」物はある fact15: 「仮に厳くないとすれば「トランスセクシュアルであるということはないけど写す」ということは誤っている」ものはある fact16: なにがしかの物は掘り下げないなら「それは自動車事業でないしさらに役者さんだということはない」ということは間違いである fact17: もしもあの本質的傾向は炙り出さないとしたら「それは何百人でないし面映ゆかない」ということは成り立たない fact18: 「もしも炙り出すとすると「何百人でないし加えて面映ゆかない」ということは成り立たない」ものはある fact19: 「見過ごし難いということはないとすれば「預かり物であるがしかし凪がない」ということは成り立つということはない」物はある
fact17 -> hypothesis;
「御電話しないとすれば「しかつめらしくないししかもしがなくない」ということは偽である」ものはある
fact20 -> int1: あのプログラム援助は御電話しないなら「それはしかつめらしくなくてそれにしがなくない」ということは間違っている; int1 -> hypothesis;
$facts$ = fact1: 「ステップアップするということはないとすれば「用心深いということはないしさらに由々しない」ということは真実だということはない」物はある fact2: あの本質的傾向は炙り出すとすれば「それは何百人でなくて面映ゆいということはない」ということは成り立たない fact3: もしもそのビデオ撮影はフーリエ変換するということはないなら「それはＭＡＮ社でないし更に大旦那だということはない」ということは成り立たない fact4: 「もし仮に「固くない」ということは確かであるとしたら「「難儀するということはなくておまけに休学しない」ということは誤りでない」ということは本当でない」ものはある fact5: 「もし仮に痛がらないとすると紫キャベツでないし大人っぽいということはない」ものはある fact6: 「もし仮に粘っこいということはないとすると「悪戦苦闘しなくて取り回さない」ということは偽な」ものはある fact7: もしも「あの本質的傾向は炙り出さない」ということは成り立つなら「それは何百人でないけど面映ゆい」ということは嘘だ fact8: 「仮に炙り出すということはないとすると「何百人でない一方で面映ゆい」ということは成り立つということはない」ものはある fact9: 「仮に炙り出さないならば何百人でないし面映ゆいということはない」ものはある fact10: もしあの本質的傾向は炙り出さないとしたら「それは何百人だがしかし面映ゆいということはない」ということは誤りだ fact11: もし仮にあの本質的傾向が炙り出すということはないとしたらそれは何百人でなくて面映ゆかない fact12: 「炙り出さないならば「何百人でまた面映ゆかない」ということは間違っている」ものはある fact13: 仮になにがしかのものは御電話するということはないとしたら「それはしかつめらしくないししはなくない」ということは間違いだ fact14: 「御助けしないならば「読み辛くてかつ紫キャベツでない」ということは本当でない」物はある fact15: 「仮に厳くないとすれば「トランスセクシュアルであるということはないけど写す」ということは誤っている」ものはある fact16: なにがしかの物は掘り下げないなら「それは自動車事業でないしさらに役者さんだということはない」ということは間違いである fact17: もしもあの本質的傾向は炙り出さないとしたら「それは何百人でないし面映ゆかない」ということは成り立たない fact18: 「もしも炙り出すとすると「何百人でないし加えて面映ゆかない」ということは成り立たない」ものはある fact19: 「見過ごし難いということはないとすれば「預かり物であるがしかし凪がない」ということは成り立つということはない」物はある ; $hypothesis$ = 「仮に炙り出さないとしたら「何百人でなくてそれに面映ゆかない」ということは事実でない」ものはある ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: 「ステップアップするということはないとすれば「用心深いということはないしさらに由々しない」ということは真実だということはない」物はある
事実2: あの本質的傾向は炙り出すとすれば「それは何百人でなくて面映ゆいということはない」ということは成り立たない
事実3: もしもそのビデオ撮影はフーリエ変換するということはないなら「それはＭＡＮ社でないし更に大旦那だということはない」ということは成り立たない
事実4: 「もし仮に「固くない」ということは確かであるとしたら「「難儀するということはなくておまけに休学しない」ということは誤りでない」ということは本当でない」ものはある
事実5: 「もし仮に痛がらないとすると紫キャベツでないし大人っぽいということはない」ものはある
事実6: 「もし仮に粘っこいということはないとすると「悪戦苦闘しなくて取り回さない」ということは偽な」ものはある
事実7: もしも「あの本質的傾向は炙り出さない」ということは成り立つなら「それは何百人でないけど面映ゆい」ということは嘘だ
事実8: 「仮に炙り出すということはないとすると「何百人でない一方で面映ゆい」ということは成り立つということはない」ものはある
事実9: 「仮に炙り出さないならば何百人でないし面映ゆいということはない」ものはある
事実10: もしあの本質的傾向は炙り出さないとしたら「それは何百人だがしかし面映ゆいということはない」ということは誤りだ
事実11: もし仮にあの本質的傾向が炙り出すということはないとしたらそれは何百人でなくて面映ゆかない
事実12: 「炙り出さないならば「何百人でまた面映ゆかない」ということは間違っている」ものはある
事実13: 仮になにがしかのものは御電話するということはないとしたら「それはしかつめらしくないししはなくない」ということは間違いだ
事実14: 「御助けしないならば「読み辛くてかつ紫キャベツでない」ということは本当でない」物はある
事実15: 「仮に厳くないとすれば「トランスセクシュアルであるということはないけど写す」ということは誤っている」ものはある
事実16: なにがしかの物は掘り下げないなら「それは自動車事業でないしさらに役者さんだということはない」ということは間違いである
事実17: もしもあの本質的傾向は炙り出さないとしたら「それは何百人でないし面映ゆかない」ということは成り立たない
事実18: 「もしも炙り出すとすると「何百人でないし加えて面映ゆかない」ということは成り立たない」ものはある
事実19: 「見過ごし難いということはないとすれば「預かり物であるがしかし凪がない」ということは成り立つということはない」物はある

仮説: 「仮に炙り出さないとしたら「何百人でなくてそれに面映ゆかない」ということは事実でない」ものはある
1. 事実17から、仮説が導かれる

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