「もし仮に重くないとすれば「尖むないし賞味しない」ということは成り立たない」物はある
fact1: 仮にあの東洋諸国は重くないとすれば「それは尖むない一方で賞味する」ということは成り立たない fact2: 「もし来始めないとすれば「頂塔でないしまた見易くない」ということは誤りである」物はある fact3: もし仮にあの東洋諸国は食べ終えないならば「心安いがしかし重くない」ということは真実でない fact4: もしあの東洋諸国は重くないとすれば「それは尖むないし賞味しない」ということは成り立つということはない fact5: もしもあの東洋諸国は重くないとすると「それは尖むし更にそれは賞味しない」ということは成り立たない fact6: この四腔像は酷くないなら「それは茶々でないけれど左右され易い」ということは正しくない fact7: もし仮に「あの東洋諸国は重い」ということは事実であるとすると「尖むないし更にそれは賞味しない」ということは成り立たない fact8: 「福祉行政でないなら「施入であるししかも投薬するということはない」ということは成り立つということはない」ものはある fact9: 「もし仮に「証券決済である」ということは真実であるならば「使い難くなくてそれに働き難くない」ということは成り立たない」ものはある fact10: あの東洋諸国は重いならば「主管しないしかつ心許なくない」ということは間違いだ fact11: あの東洋諸国が尖むないとすればそれは受領出来ないしまた奇形だということはない fact12: 「重いとしたら「尖むないし更に賞味しない」ということは間違いな」ものはある fact13: 「「もしも重くないとしたら尖むないし加えて賞味するということはない」物はある」ということは成り立つ fact14: この貨物自動車は取り次ぐとすれば「それは掻き回さないししかもそれは久しいということはない」ということは事実と異なる
fact4 -> hypothesis;
$facts$ = fact1: 仮にあの東洋諸国は重くないとすれば「それは尖むない一方で賞味する」ということは成り立たない fact2: 「もし来始めないとすれば「頂塔でないしまた見易くない」ということは誤りである」物はある fact3: もし仮にあの東洋諸国は食べ終えないならば「心安いがしかし重くない」ということは真実でない fact4: もしあの東洋諸国は重くないとすれば「それは尖むないし賞味しない」ということは成り立つということはない fact5: もしもあの東洋諸国は重くないとすると「それは尖むし更にそれは賞味しない」ということは成り立たない fact6: この四腔像は酷くないなら「それは茶々でないけれど左右され易い」ということは正しくない fact7: もし仮に「あの東洋諸国は重い」ということは事実であるとすると「尖むないし更にそれは賞味しない」ということは成り立たない fact8: 「福祉行政でないなら「施入であるししかも投薬するということはない」ということは成り立つということはない」ものはある fact9: 「もし仮に「証券決済である」ということは真実であるならば「使い難くなくてそれに働き難くない」ということは成り立たない」ものはある fact10: あの東洋諸国は重いならば「主管しないしかつ心許なくない」ということは間違いだ fact11: あの東洋諸国が尖むないとすればそれは受領出来ないしまた奇形だということはない fact12: 「重いとしたら「尖むないし更に賞味しない」ということは間違いな」ものはある fact13: 「「もしも重くないとしたら尖むないし加えて賞味するということはない」物はある」ということは成り立つ fact14: この貨物自動車は取り次ぐとすれば「それは掻き回さないししかもそれは久しいということはない」ということは事実と異なる ; $hypothesis$ = 「もし仮に重くないとすれば「尖むないし賞味しない」ということは成り立たない」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 仮にあの東洋諸国は重くないとすれば「それは尖むない一方で賞味する」ということは成り立たない
事実2: 「もし来始めないとすれば「頂塔でないしまた見易くない」ということは誤りである」物はある
事実3: もし仮にあの東洋諸国は食べ終えないならば「心安いがしかし重くない」ということは真実でない
事実4: もしあの東洋諸国は重くないとすれば「それは尖むないし賞味しない」ということは成り立つということはない
事実5: もしもあの東洋諸国は重くないとすると「それは尖むし更にそれは賞味しない」ということは成り立たない
事実6: この四腔像は酷くないなら「それは茶々でないけれど左右され易い」ということは正しくない
事実7: もし仮に「あの東洋諸国は重い」ということは事実であるとすると「尖むないし更にそれは賞味しない」ということは成り立たない
事実8: 「福祉行政でないなら「施入であるししかも投薬するということはない」ということは成り立つということはない」ものはある
事実9: 「もし仮に「証券決済である」ということは真実であるならば「使い難くなくてそれに働き難くない」ということは成り立たない」ものはある
事実10: あの東洋諸国は重いならば「主管しないしかつ心許なくない」ということは間違いだ
事実11: あの東洋諸国が尖むないとすればそれは受領出来ないしまた奇形だということはない
事実12: 「重いとしたら「尖むないし更に賞味しない」ということは間違いな」ものはある
事実13: 「「もしも重くないとしたら尖むないし加えて賞味するということはない」物はある」ということは成り立つ
事実14: この貨物自動車は取り次ぐとすれば「それは掻き回さないししかもそれは久しいということはない」ということは事実と異なる

仮説: 「もし仮に重くないとすれば「尖むないし賞味しない」ということは成り立たない」物はある
1. 事実4から、仮説が導かれる

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