「「手引きしないとすれば雌株である」ものはある」ということは本当だ
fact1: 仮にあの紀が手引きすればそれは雌株だ fact2: 「「もしもメットＡでないならばビットである」ものはある」ということは成り立つ fact3: 「もし仮に「当然過ぎない」ということは正しいとしたら動脈瘤である」ものはある fact4: もし仮にその地質図は雌株でないならば借り受ける fact5: 「付け加わらないとするとメットＡである」ものはある fact6: もしも「なにがしかのものは雌株でない」ということは本当であるならばそれは春日山城である fact7: もしあの紀は手引きしないとすれば「それは捕らえ難い」ということは成り立つ fact8: もし仮にあの紀は雌株だということはないとすれば「こそばゆい」ということは事実だ fact9: もし仮にあの紀は春日山城でないとすると手引きする fact10: もし仮にあの紀が手引きしないとするとそれは雌株だ fact11: 「もし仮に手引きするとすると雌株な」ものはある fact12: 「もし仮にカートリッジでないならば模刻する」ものはある fact13: 「もし緩くないとすると枝分かれする」ものはある fact14: もし仮にこの一巡が手引きしないとするとそれは疑わし fact15: もし仮になにがしかの物は梅毒でないとしたらそれは大気組成である fact16: 「無料化でないとしたら目敏い」ものはある
fact10 -> hypothesis;
「もしも梅毒でないとすれば大気組成な」ものはある
fact17 -> int1: もしもこの民族解放運動は梅毒でないとしたら大気組成である; int1 -> hypothesis;
$facts$ = fact1: 仮にあの紀が手引きすればそれは雌株だ fact2: 「「もしもメットＡでないならばビットである」ものはある」ということは成り立つ fact3: 「もし仮に「当然過ぎない」ということは正しいとしたら動脈瘤である」ものはある fact4: もし仮にその地質図は雌株でないならば借り受ける fact5: 「付け加わらないとするとメットＡである」ものはある fact6: もしも「なにがしかのものは雌株でない」ということは本当であるならばそれは春日山城である fact7: もしあの紀は手引きしないとすれば「それは捕らえ難い」ということは成り立つ fact8: もし仮にあの紀は雌株だということはないとすれば「こそばゆい」ということは事実だ fact9: もし仮にあの紀は春日山城でないとすると手引きする fact10: もし仮にあの紀が手引きしないとするとそれは雌株だ fact11: 「もし仮に手引きするとすると雌株な」ものはある fact12: 「もし仮にカートリッジでないならば模刻する」ものはある fact13: 「もし緩くないとすると枝分かれする」ものはある fact14: もし仮にこの一巡が手引きしないとするとそれは疑わし fact15: もし仮になにがしかの物は梅毒でないとしたらそれは大気組成である fact16: 「無料化でないとしたら目敏い」ものはある ; $hypothesis$ = 「「手引きしないとすれば雌株である」ものはある」ということは本当だ ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 仮にあの紀が手引きすればそれは雌株だ
事実2: 「「もしもメットＡでないならばビットである」ものはある」ということは成り立つ
事実3: 「もし仮に「当然過ぎない」ということは正しいとしたら動脈瘤である」ものはある
事実4: もし仮にその地質図は雌株でないならば借り受ける
事実5: 「付け加わらないとするとメットＡである」ものはある
事実6: もしも「なにがしかのものは雌株でない」ということは本当であるならばそれは春日山城である
事実7: もしあの紀は手引きしないとすれば「それは捕らえ難い」ということは成り立つ
事実8: もし仮にあの紀は雌株だということはないとすれば「こそばゆい」ということは事実だ
事実9: もし仮にあの紀は春日山城でないとすると手引きする
事実10: もし仮にあの紀が手引きしないとするとそれは雌株だ
事実11: 「もし仮に手引きするとすると雌株な」ものはある
事実12: 「もし仮にカートリッジでないならば模刻する」ものはある
事実13: 「もし緩くないとすると枝分かれする」ものはある
事実14: もし仮にこの一巡が手引きしないとするとそれは疑わし
事実15: もし仮になにがしかの物は梅毒でないとしたらそれは大気組成である
事実16: 「無料化でないとしたら目敏い」ものはある

仮説: 「「手引きしないとすれば雌株である」ものはある」ということは本当だ
1. 事実10から、仮説が導かれる

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