「「もし仮に「済むということはなくておまけに溶く」ということは間違いだとしたら蝮である」物はある」ということは確かである
fact1: もしも「「その雇用保険法は溶く」ということは本当だ」ということは偽だとすれば「蝮だ」ということは正しい fact2: あるものは溶かないならば「蝮である」ということは成り立つ fact3: 「もし「出発出来るし御参加下さる」ということは偽だとすれば配水管な」ものはある fact4: 「仮に「規程でないけど麗し」ということは嘘なら答え易い」ものはある fact5: もしも「あるものは睦まじくない一方でラーメン屋である」ということは事実でないならそれは苦し fact6: もし「とあるものは済むしおまけに溶く」ということは成り立つということはないとすれば蝮である fact7: その雇用保険法は済まないけれどエンドルフィンだとしたら消化機能だ fact8: 「仮に済むということはないがしかし溶くとしたら蝮な」物はある fact9: 「もしも「非難するしまた刺々しい」ということは成り立たないとすれば慕わしい」物はある fact10: 「ある物は考え難くないけれど弁理士会である」ということは間違いならそれは温い fact11: あるものは済まないが溶けばそれは蝮だ fact12: もし「その雇用保険法は掻き合わせないけどそれは溶く」ということは成り立たないとしたら資本主義批判だ fact13: 「溶かないとしたら蝮である」物はある fact14: もしも「その雇用保険法は済むし加えて溶く」ということは成り立たないなら「それは蝮だ」ということは真実だ fact15: 「あるものは済まないけど溶く」ということは成り立たないならそれは蝮である fact16: 「もし仮に「済むしかつ溶く」ということは間違っているなら蝮である」ものはある fact17: もし「その雇用保険法はいがらっぽくないけれどそれは掻き合わせる」ということは成り立たないならそれは蝮である fact18: もしその雇用保険法は済まないけど溶くとすると蝮である
fact15 -> int1: もし「その雇用保険法は済まないが溶く」ということは事実と異なれば「蝮だ」ということは確かだ; int1 -> hypothesis;
$facts$ = fact1: もしも「「その雇用保険法は溶く」ということは本当だ」ということは偽だとすれば「蝮だ」ということは正しい fact2: あるものは溶かないならば「蝮である」ということは成り立つ fact3: 「もし「出発出来るし御参加下さる」ということは偽だとすれば配水管な」ものはある fact4: 「仮に「規程でないけど麗し」ということは嘘なら答え易い」ものはある fact5: もしも「あるものは睦まじくない一方でラーメン屋である」ということは事実でないならそれは苦し fact6: もし「とあるものは済むしおまけに溶く」ということは成り立つということはないとすれば蝮である fact7: その雇用保険法は済まないけれどエンドルフィンだとしたら消化機能だ fact8: 「仮に済むということはないがしかし溶くとしたら蝮な」物はある fact9: 「もしも「非難するしまた刺々しい」ということは成り立たないとすれば慕わしい」物はある fact10: 「ある物は考え難くないけれど弁理士会である」ということは間違いならそれは温い fact11: あるものは済まないが溶けばそれは蝮だ fact12: もし「その雇用保険法は掻き合わせないけどそれは溶く」ということは成り立たないとしたら資本主義批判だ fact13: 「溶かないとしたら蝮である」物はある fact14: もしも「その雇用保険法は済むし加えて溶く」ということは成り立たないなら「それは蝮だ」ということは真実だ fact15: 「あるものは済まないけど溶く」ということは成り立たないならそれは蝮である fact16: 「もし仮に「済むしかつ溶く」ということは間違っているなら蝮である」ものはある fact17: もし「その雇用保険法はいがらっぽくないけれどそれは掻き合わせる」ということは成り立たないならそれは蝮である fact18: もしその雇用保険法は済まないけど溶くとすると蝮である ; $hypothesis$ = 「「もし仮に「済むということはなくておまけに溶く」ということは間違いだとしたら蝮である」物はある」ということは確かである ; $proof$ = 
fact15 -> int1: もし「その雇用保険法は済まないが溶く」ということは事実と異なれば「蝮だ」ということは確かだ; int1 -> hypothesis; __PROVED__
事実1: もしも「「その雇用保険法は溶く」ということは本当だ」ということは偽だとすれば「蝮だ」ということは正しい
事実2: あるものは溶かないならば「蝮である」ということは成り立つ
事実3: 「もし「出発出来るし御参加下さる」ということは偽だとすれば配水管な」ものはある
事実4: 「仮に「規程でないけど麗し」ということは嘘なら答え易い」ものはある
事実5: もしも「あるものは睦まじくない一方でラーメン屋である」ということは事実でないならそれは苦し
事実6: もし「とあるものは済むしおまけに溶く」ということは成り立つということはないとすれば蝮である
事実7: その雇用保険法は済まないけれどエンドルフィンだとしたら消化機能だ
事実8: 「仮に済むということはないがしかし溶くとしたら蝮な」物はある
事実9: 「もしも「非難するしまた刺々しい」ということは成り立たないとすれば慕わしい」物はある
事実10: 「ある物は考え難くないけれど弁理士会である」ということは間違いならそれは温い
事実11: あるものは済まないが溶けばそれは蝮だ
事実12: もし「その雇用保険法は掻き合わせないけどそれは溶く」ということは成り立たないとしたら資本主義批判だ
事実13: 「溶かないとしたら蝮である」物はある
事実14: もしも「その雇用保険法は済むし加えて溶く」ということは成り立たないなら「それは蝮だ」ということは真実だ
事実15: 「あるものは済まないけど溶く」ということは成り立たないならそれは蝮である
事実16: 「もし仮に「済むしかつ溶く」ということは間違っているなら蝮である」ものはある
事実17: もし「その雇用保険法はいがらっぽくないけれどそれは掻き合わせる」ということは成り立たないならそれは蝮である
事実18: もしその雇用保険法は済まないけど溶くとすると蝮である

仮説: 「「もし仮に「済むということはなくておまけに溶く」ということは間違いだとしたら蝮である」物はある」ということは確かである
1. 事実15から、推論1: "もし「その雇用保険法は済まないが溶く」ということは事実と異なれば「蝮だ」ということは確かだ"が導かれる
2. 推論1から、仮説が導かれる

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