「もしも秀でるとしたら上位下位でない」物はある
fact1: 「「下り続ける」ということは真実であるとしたら「総称する」ということは成り立つ」ものはある fact2: もしあの母語以外が断定し難いならそれは力強い fact3: 「もしも重いとしたら姦しいということはない」ものはある fact4: あの母語以外が秀でれば使い熟さない fact5: もしも何かは秀でるなら力強くない fact6: 「もしも察知するとしたら売買取り引きでない」物はある fact7: 「関係付けるとすると重くない」ものはある fact8: もし仮にあの母語以外が秀でるとすると上位下位である fact9: もし仮にあの母語以外は作り出せれば「それは秀でる」ということは成り立つ fact10: 「もし秀でるとすれば上位下位な」物はある fact11: 「「仮にむかつくとしたら作り出せる」ものはある」ということは成り立つ fact12: 仮にこの標準サイズが上位下位だとすれば御使い下さらない fact13: 「もし仮に関係付けるなら青黒くない」ものはある fact14: もしもあの母語以外が誦するとするとそれは上位下位でない fact15: 「覚醒すれば越前北庄でない」ものはある fact16: 「仮に注意すとすれば相応しかない」物はある fact17: あの母語以外が秀でるとすると上位下位だということはない fact18: 「もし仮に等しなら大人らしい」物はある
fact17 -> hypothesis;
もしもあの母語以外が秀でるとすればそれは力強くない
fact19 -> hypothesis;
$facts$ = fact1: 「「下り続ける」ということは真実であるとしたら「総称する」ということは成り立つ」ものはある fact2: もしあの母語以外が断定し難いならそれは力強い fact3: 「もしも重いとしたら姦しいということはない」ものはある fact4: あの母語以外が秀でれば使い熟さない fact5: もしも何かは秀でるなら力強くない fact6: 「もしも察知するとしたら売買取り引きでない」物はある fact7: 「関係付けるとすると重くない」ものはある fact8: もし仮にあの母語以外が秀でるとすると上位下位である fact9: もし仮にあの母語以外は作り出せれば「それは秀でる」ということは成り立つ fact10: 「もし秀でるとすれば上位下位な」物はある fact11: 「「仮にむかつくとしたら作り出せる」ものはある」ということは成り立つ fact12: 仮にこの標準サイズが上位下位だとすれば御使い下さらない fact13: 「もし仮に関係付けるなら青黒くない」ものはある fact14: もしもあの母語以外が誦するとするとそれは上位下位でない fact15: 「覚醒すれば越前北庄でない」ものはある fact16: 「仮に注意すとすれば相応しかない」物はある fact17: あの母語以外が秀でるとすると上位下位だということはない fact18: 「もし仮に等しなら大人らしい」物はある ; $hypothesis$ = 「もしも秀でるとしたら上位下位でない」物はある ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: 「「下り続ける」ということは真実であるとしたら「総称する」ということは成り立つ」ものはある
事実2: もしあの母語以外が断定し難いならそれは力強い
事実3: 「もしも重いとしたら姦しいということはない」ものはある
事実4: あの母語以外が秀でれば使い熟さない
事実5: もしも何かは秀でるなら力強くない
事実6: 「もしも察知するとしたら売買取り引きでない」物はある
事実7: 「関係付けるとすると重くない」ものはある
事実8: もし仮にあの母語以外が秀でるとすると上位下位である
事実9: もし仮にあの母語以外は作り出せれば「それは秀でる」ということは成り立つ
事実10: 「もし秀でるとすれば上位下位な」物はある
事実11: 「「仮にむかつくとしたら作り出せる」ものはある」ということは成り立つ
事実12: 仮にこの標準サイズが上位下位だとすれば御使い下さらない
事実13: 「もし仮に関係付けるなら青黒くない」ものはある
事実14: もしもあの母語以外が誦するとするとそれは上位下位でない
事実15: 「覚醒すれば越前北庄でない」ものはある
事実16: 「仮に注意すとすれば相応しかない」物はある
事実17: あの母語以外が秀でるとすると上位下位だということはない
事実18: 「もし仮に等しなら大人らしい」物はある

仮説: 「もしも秀でるとしたら上位下位でない」物はある
1. 事実17から、仮説が導かれる

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