「もしも熱っぽいなら「味わうし訓練中でない」ということは成り立たない」物はある
fact1: もし仮にこの十二時半は地付きであるとすれば「それは幼ししそれにチャーター船であるということはない」ということは間違っている fact2: もしその大命降下が熱っぽいとすればそれは味わうし更にそれは訓練中でない fact3: 「「もし仮に「狙い易い」ということは事実と異ならないならば「倹約出来るし初夜権でない」ということは間違いである」ものはある」ということは本当だ fact4: もし仮にそのニュークリアは訓練中ならば「可笑しがしかし借り物でない」ということは誤りである fact5: 仮にとある物は割れ難いならば「地付きだけど程無いということはない」ということは事実でない fact6: その大命降下は起き易いとすれば「チャーター船だけれど熱っぽくない」ということは間違いである fact7: 「仮に熱っぽいなら「味わうし訓練中である」ということは間違いである」ものはある fact8: 「もし仮に何かは危なっかしいとすると「スキーだしまたそれは専門業務型でない」ということは間違いである」ということは正しい fact9: このロックガーデンは訓練中であるならば「遍歴するがしかし通達でない」ということは嘘である fact10: 「仮に九十五パーセント以上だとすれば「把握し辛いがしかし地付きでない」ということは偽である」ものはある fact11: 「迷い易いとすると「ティーセットだし加えて久しくない」ということは成り立たない」物はある fact12: もしもその大命降下は熱っぽいとしたら「それは味わうし訓練中でない」ということは成り立たない fact13: 「もしも「たわいない」ということは本当であるとすれば「スキーだけど呼ばわるということはない」ということは正しくない」物はある fact14: 「もし熱っぽいならば味わうし訓練中でない」ものはある fact15: 「もし仮に毒々しいならば「乏しい一方で厚いということはない」ということは偽な」物はある fact16: 「仮にその大命降下は熱っぽいなら「その大命降下は味わうし更に訓練中である」ということは成り立たない」ということは成り立つ
fact12 -> hypothesis;
「もし仮に危なっかしいならば「スキーであるしそれに専門業務型でない」ということは成り立たない」物はある
fact17 -> int1: その入会権は危なっかしいとすれば「スキーであるしそれは専門業務型でない」ということは誤りである; int1 -> hypothesis;
$facts$ = fact1: もし仮にこの十二時半は地付きであるとすれば「それは幼ししそれにチャーター船であるということはない」ということは間違っている fact2: もしその大命降下が熱っぽいとすればそれは味わうし更にそれは訓練中でない fact3: 「「もし仮に「狙い易い」ということは事実と異ならないならば「倹約出来るし初夜権でない」ということは間違いである」ものはある」ということは本当だ fact4: もし仮にそのニュークリアは訓練中ならば「可笑しがしかし借り物でない」ということは誤りである fact5: 仮にとある物は割れ難いならば「地付きだけど程無いということはない」ということは事実でない fact6: その大命降下は起き易いとすれば「チャーター船だけれど熱っぽくない」ということは間違いである fact7: 「仮に熱っぽいなら「味わうし訓練中である」ということは間違いである」ものはある fact8: 「もし仮に何かは危なっかしいとすると「スキーだしまたそれは専門業務型でない」ということは間違いである」ということは正しい fact9: このロックガーデンは訓練中であるならば「遍歴するがしかし通達でない」ということは嘘である fact10: 「仮に九十五パーセント以上だとすれば「把握し辛いがしかし地付きでない」ということは偽である」ものはある fact11: 「迷い易いとすると「ティーセットだし加えて久しくない」ということは成り立たない」物はある fact12: もしもその大命降下は熱っぽいとしたら「それは味わうし訓練中でない」ということは成り立たない fact13: 「もしも「たわいない」ということは本当であるとすれば「スキーだけど呼ばわるということはない」ということは正しくない」物はある fact14: 「もし熱っぽいならば味わうし訓練中でない」ものはある fact15: 「もし仮に毒々しいならば「乏しい一方で厚いということはない」ということは偽な」物はある fact16: 「仮にその大命降下は熱っぽいなら「その大命降下は味わうし更に訓練中である」ということは成り立たない」ということは成り立つ ; $hypothesis$ = 「もしも熱っぽいなら「味わうし訓練中でない」ということは成り立たない」物はある ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: もし仮にこの十二時半は地付きであるとすれば「それは幼ししそれにチャーター船であるということはない」ということは間違っている
事実2: もしその大命降下が熱っぽいとすればそれは味わうし更にそれは訓練中でない
事実3: 「「もし仮に「狙い易い」ということは事実と異ならないならば「倹約出来るし初夜権でない」ということは間違いである」ものはある」ということは本当だ
事実4: もし仮にそのニュークリアは訓練中ならば「可笑しがしかし借り物でない」ということは誤りである
事実5: 仮にとある物は割れ難いならば「地付きだけど程無いということはない」ということは事実でない
事実6: その大命降下は起き易いとすれば「チャーター船だけれど熱っぽくない」ということは間違いである
事実7: 「仮に熱っぽいなら「味わうし訓練中である」ということは間違いである」ものはある
事実8: 「もし仮に何かは危なっかしいとすると「スキーだしまたそれは専門業務型でない」ということは間違いである」ということは正しい
事実9: このロックガーデンは訓練中であるならば「遍歴するがしかし通達でない」ということは嘘である
事実10: 「仮に九十五パーセント以上だとすれば「把握し辛いがしかし地付きでない」ということは偽である」ものはある
事実11: 「迷い易いとすると「ティーセットだし加えて久しくない」ということは成り立たない」物はある
事実12: もしもその大命降下は熱っぽいとしたら「それは味わうし訓練中でない」ということは成り立たない
事実13: 「もしも「たわいない」ということは本当であるとすれば「スキーだけど呼ばわるということはない」ということは正しくない」物はある
事実14: 「もし熱っぽいならば味わうし訓練中でない」ものはある
事実15: 「もし仮に毒々しいならば「乏しい一方で厚いということはない」ということは偽な」物はある
事実16: 「仮にその大命降下は熱っぽいなら「その大命降下は味わうし更に訓練中である」ということは成り立たない」ということは成り立つ

仮説: 「もしも熱っぽいなら「味わうし訓練中でない」ということは成り立たない」物はある
1. 事実12から、仮説が導かれる

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