「もし「民有だということはなくてそれに得点化する」ということは成り立たないとすると地球外生命な」ものはある
fact1: もし「あの社屋は第九レースでないけどそれは得点化する」ということは正しくないとしたらそれは信仰深い fact2: 「もしも民有でなくてその上得点化すれば地球外生命な」ものはある fact3: 「「もしも浅ましくないならば使い捨てカイロな」ものはある」ということは成り立つ fact4: あの社屋が得点化しないとすると地球外生命である fact5: 「もし仮に論評するなら見据える」ものはある fact6: もし「あの社屋は民有であるし得点化する」ということは間違っているとすればそれは地球外生命である fact7: 「もしもＡ型肝炎であるなら生き残り得る」ものはある fact8: もしもあの社屋が晴々しかないとしたらそれは受刑者だ fact9: 「仮に軽トラックなら「優先配当金だ」ということは真実である」物はある fact10: 仮に「なんらかの物は植えないが決起する」ということは本当であるということはないとすると作出する fact11: 「もし御美しくないが徴兵するとすれば尽力な」ものはある fact12: もしも「この先住民は顕在化し易くて見据える」ということは成り立たないならば「それは民有である」ということは正しい fact13: もしも「あの社屋は民有でない一方で得点化する」ということは誤りであるとすれば地球外生命である fact14: 仮にこの先住民は地球外生命でないとしたら正視出来る fact15: 「得点化しないとしたら地球外生命である」物はある fact16: 「もしＯＢ臭いなら見当違いな」物はある fact17: 「もし民有だとすれば地球外生命である」物はある fact18: 「仮に「攻め上がるししかも遣り損なう」ということは偽だとすれば相互配慮である」物はある fact19: もし「あの社屋が民有だしそれにそれは性習慣である」ということは間違っているなら「戦後処理だ」ということは事実である fact20: 「もしも名状し難いとしたら赤し」ものはある fact21: 「もしも真ん丸いとすれば「すっごい」ということは成り立つ」物はある
fact13 -> hypothesis;
「仮に「植えない一方で決起する」ということは確かでないとすれば作出する」ものはある
fact22 -> int1: もし「この六道は植えない一方で決起する」ということは偽であるなら「それは作出する」ということは真実だ; int1 -> hypothesis;
$facts$ = fact1: もし「あの社屋は第九レースでないけどそれは得点化する」ということは正しくないとしたらそれは信仰深い fact2: 「もしも民有でなくてその上得点化すれば地球外生命な」ものはある fact3: 「「もしも浅ましくないならば使い捨てカイロな」ものはある」ということは成り立つ fact4: あの社屋が得点化しないとすると地球外生命である fact5: 「もし仮に論評するなら見据える」ものはある fact6: もし「あの社屋は民有であるし得点化する」ということは間違っているとすればそれは地球外生命である fact7: 「もしもＡ型肝炎であるなら生き残り得る」ものはある fact8: もしもあの社屋が晴々しかないとしたらそれは受刑者だ fact9: 「仮に軽トラックなら「優先配当金だ」ということは真実である」物はある fact10: 仮に「なんらかの物は植えないが決起する」ということは本当であるということはないとすると作出する fact11: 「もし御美しくないが徴兵するとすれば尽力な」ものはある fact12: もしも「この先住民は顕在化し易くて見据える」ということは成り立たないならば「それは民有である」ということは正しい fact13: もしも「あの社屋は民有でない一方で得点化する」ということは誤りであるとすれば地球外生命である fact14: 仮にこの先住民は地球外生命でないとしたら正視出来る fact15: 「得点化しないとしたら地球外生命である」物はある fact16: 「もしＯＢ臭いなら見当違いな」物はある fact17: 「もし民有だとすれば地球外生命である」物はある fact18: 「仮に「攻め上がるししかも遣り損なう」ということは偽だとすれば相互配慮である」物はある fact19: もし「あの社屋が民有だしそれにそれは性習慣である」ということは間違っているなら「戦後処理だ」ということは事実である fact20: 「もしも名状し難いとしたら赤し」ものはある fact21: 「もしも真ん丸いとすれば「すっごい」ということは成り立つ」物はある ; $hypothesis$ = 「もし「民有だということはなくてそれに得点化する」ということは成り立たないとすると地球外生命な」ものはある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: もし「あの社屋は第九レースでないけどそれは得点化する」ということは正しくないとしたらそれは信仰深い
事実2: 「もしも民有でなくてその上得点化すれば地球外生命な」ものはある
事実3: 「「もしも浅ましくないならば使い捨てカイロな」ものはある」ということは成り立つ
事実4: あの社屋が得点化しないとすると地球外生命である
事実5: 「もし仮に論評するなら見据える」ものはある
事実6: もし「あの社屋は民有であるし得点化する」ということは間違っているとすればそれは地球外生命である
事実7: 「もしもＡ型肝炎であるなら生き残り得る」ものはある
事実8: もしもあの社屋が晴々しかないとしたらそれは受刑者だ
事実9: 「仮に軽トラックなら「優先配当金だ」ということは真実である」物はある
事実10: 仮に「なんらかの物は植えないが決起する」ということは本当であるということはないとすると作出する
事実11: 「もし御美しくないが徴兵するとすれば尽力な」ものはある
事実12: もしも「この先住民は顕在化し易くて見据える」ということは成り立たないならば「それは民有である」ということは正しい
事実13: もしも「あの社屋は民有でない一方で得点化する」ということは誤りであるとすれば地球外生命である
事実14: 仮にこの先住民は地球外生命でないとしたら正視出来る
事実15: 「得点化しないとしたら地球外生命である」物はある
事実16: 「もしＯＢ臭いなら見当違いな」物はある
事実17: 「もし民有だとすれば地球外生命である」物はある
事実18: 「仮に「攻め上がるししかも遣り損なう」ということは偽だとすれば相互配慮である」物はある
事実19: もし「あの社屋が民有だしそれにそれは性習慣である」ということは間違っているなら「戦後処理だ」ということは事実である
事実20: 「もしも名状し難いとしたら赤し」ものはある
事実21: 「もしも真ん丸いとすれば「すっごい」ということは成り立つ」物はある

仮説: 「もし「民有だということはなくてそれに得点化する」ということは成り立たないとすると地球外生命な」ものはある
1. 事実13から、仮説が導かれる

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