「もしも歌舞伎者ならば「イレウスだということはなくてかつ御電話致さない」ということは事実と異なる」ものはある
fact1: 「もしし易いとすると「債権総論であるがしかしこりこりしない」ということは間違いな」ものはある fact2: もしもこの慢性腎不全は歌舞伎者であるならば「それはイレウスだけど御電話致さない」ということは成り立たない fact3: 「仮にタンガニーカ・ハヤ人同盟だとしたら「し易くないしかつ羨ましがらない」ということは誤りな」物はある fact4: 「もしも搭載するとしたら心強いということはないしさらに表千家でない」ものはある fact5: もしも何かは伝わり難いとすると「目途でないし更にそれは伴えない」ということは成り立たない fact6: 「仮に追撃すれば御寂しくないしかつ内頸動脈系でない」ものはある fact7: 「もし「馳せる」ということは真実であるなら「鎮静しないけれど御寂しい」ということは真実でない」ものはある fact8: もし仮にこの慢性腎不全は歌舞伎者であるとしたら「期し難くないしさらに企画報道室でない」ということは成り立たない fact9: 仮にそのショー姉妹は腰部脊柱管狭窄症であるとすると「弱くないし更に憎たらしくない」ということは成り立たない fact10: 「仮にこの慢性腎不全はイレウスなら「この慢性腎不全は直面するということはなくてそれにそれは実見しない」ということは成り立つということはない」ということは真実である fact11: 「もしも東京事務所だとすると「御優しいけど御忙しくない」ということは成り立つということはない」物はある fact12: 仮にこの慢性腎不全は歌舞伎者であるとすると「「それはイレウスでなくて御電話致さない」ということは本当である」ということは成り立つということはない fact13: 「もしも心苦しいとしたら「惰眠で更に臍下でない」ということは誤りな」ものはある fact14: 「仮に治療薬なら確認し易くないし内頸動脈系でない」物はある fact15: もしもある物は種菌だとしたら「それは帰り来ないし後述しない」ということは成り立たない fact16: 「ラジオ各局であるとしたら「ＳＥＣでないけれど印刷出来る」ということは誤りな」物はある fact17: もし「この慢性腎不全は軟骨内骨化である」ということは間違いでないなら「それは御電話致すということはないしまたメニュー項目だ」ということは間違いである
fact12 -> hypothesis;
fact12 -> hypothesis;
「もし仮に種菌なら「帰り来るということはないしまた後述しない」ということは間違っている」ものはある
fact18 -> int1: もしもその学級委員は種菌だとすると「それは帰り来なくて後述しない」ということは誤りだ; int1 -> hypothesis;
$facts$ = fact1: 「もしし易いとすると「債権総論であるがしかしこりこりしない」ということは間違いな」ものはある fact2: もしもこの慢性腎不全は歌舞伎者であるならば「それはイレウスだけど御電話致さない」ということは成り立たない fact3: 「仮にタンガニーカ・ハヤ人同盟だとしたら「し易くないしかつ羨ましがらない」ということは誤りな」物はある fact4: 「もしも搭載するとしたら心強いということはないしさらに表千家でない」ものはある fact5: もしも何かは伝わり難いとすると「目途でないし更にそれは伴えない」ということは成り立たない fact6: 「仮に追撃すれば御寂しくないしかつ内頸動脈系でない」ものはある fact7: 「もし「馳せる」ということは真実であるなら「鎮静しないけれど御寂しい」ということは真実でない」ものはある fact8: もし仮にこの慢性腎不全は歌舞伎者であるとしたら「期し難くないしさらに企画報道室でない」ということは成り立たない fact9: 仮にそのショー姉妹は腰部脊柱管狭窄症であるとすると「弱くないし更に憎たらしくない」ということは成り立たない fact10: 「仮にこの慢性腎不全はイレウスなら「この慢性腎不全は直面するということはなくてそれにそれは実見しない」ということは成り立つということはない」ということは真実である fact11: 「もしも東京事務所だとすると「御優しいけど御忙しくない」ということは成り立つということはない」物はある fact12: 仮にこの慢性腎不全は歌舞伎者であるとすると「「それはイレウスでなくて御電話致さない」ということは本当である」ということは成り立つということはない fact13: 「もしも心苦しいとしたら「惰眠で更に臍下でない」ということは誤りな」ものはある fact14: 「仮に治療薬なら確認し易くないし内頸動脈系でない」物はある fact15: もしもある物は種菌だとしたら「それは帰り来ないし後述しない」ということは成り立たない fact16: 「ラジオ各局であるとしたら「ＳＥＣでないけれど印刷出来る」ということは誤りな」物はある fact17: もし「この慢性腎不全は軟骨内骨化である」ということは間違いでないなら「それは御電話致すということはないしまたメニュー項目だ」ということは間違いである ; $hypothesis$ = 「もしも歌舞伎者ならば「イレウスだということはなくてかつ御電話致さない」ということは事実と異なる」ものはある ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: 「もしし易いとすると「債権総論であるがしかしこりこりしない」ということは間違いな」ものはある
事実2: もしもこの慢性腎不全は歌舞伎者であるならば「それはイレウスだけど御電話致さない」ということは成り立たない
事実3: 「仮にタンガニーカ・ハヤ人同盟だとしたら「し易くないしかつ羨ましがらない」ということは誤りな」物はある
事実4: 「もしも搭載するとしたら心強いということはないしさらに表千家でない」ものはある
事実5: もしも何かは伝わり難いとすると「目途でないし更にそれは伴えない」ということは成り立たない
事実6: 「仮に追撃すれば御寂しくないしかつ内頸動脈系でない」ものはある
事実7: 「もし「馳せる」ということは真実であるなら「鎮静しないけれど御寂しい」ということは真実でない」ものはある
事実8: もし仮にこの慢性腎不全は歌舞伎者であるとしたら「期し難くないしさらに企画報道室でない」ということは成り立たない
事実9: 仮にそのショー姉妹は腰部脊柱管狭窄症であるとすると「弱くないし更に憎たらしくない」ということは成り立たない
事実10: 「仮にこの慢性腎不全はイレウスなら「この慢性腎不全は直面するということはなくてそれにそれは実見しない」ということは成り立つということはない」ということは真実である
事実11: 「もしも東京事務所だとすると「御優しいけど御忙しくない」ということは成り立つということはない」物はある
事実12: 仮にこの慢性腎不全は歌舞伎者であるとすると「「それはイレウスでなくて御電話致さない」ということは本当である」ということは成り立つということはない
事実13: 「もしも心苦しいとしたら「惰眠で更に臍下でない」ということは誤りな」ものはある
事実14: 「仮に治療薬なら確認し易くないし内頸動脈系でない」物はある
事実15: もしもある物は種菌だとしたら「それは帰り来ないし後述しない」ということは成り立たない
事実16: 「ラジオ各局であるとしたら「ＳＥＣでないけれど印刷出来る」ということは誤りな」物はある
事実17: もし「この慢性腎不全は軟骨内骨化である」ということは間違いでないなら「それは御電話致すということはないしまたメニュー項目だ」ということは間違いである

仮説: 「もしも歌舞伎者ならば「イレウスだということはなくてかつ御電話致さない」ということは事実と異なる」ものはある
1. 事実12から、仮説が導かれる

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