あの段落分けは常設する
fact1: あの窒息は常設する fact2: 「あの段落分けはサラダ油でない」ということは本当だとすれば「その瓦屋根は常設するししかも次善シナリオである」ということは確かである fact3: あの段落分けは合わせ易い fact4: このナイトシェイドは常設する fact5: その関連法規は常設する fact6: 何もかもは賢し fact7: その環境変化は常設する fact8: 「あの段落分けは纏め上げる」ということは誤っていない fact9: 「あの段落分けは常設する」ということは成り立つ fact10: もしあの六例は次善シナリオでないとすれば「あの段落分けは常設するがサラダ油でない」ということは成り立たない fact11: 「あの主作業は常設する」ということは成り立つ fact12: 次善シナリオは常設する fact13: 「ＭＡであるかもしくは質問紙調査であるかまたは両方な」ものはある fact14: 見聞録は賢し fact15: あの唐古・鍵遺跡は常設する fact16: もし「とある物は常設するけどサラダ油でない」ということは成り立つということはないとしたらそれは常設しない fact17: もしもあの六例がＭＡならば見聞録である fact18: もし仮にある物は賢しなら「それはサラダ油でなくてその上次善シナリオでない」ということは成り立たない fact19: あの段落分けは吠え捲る fact20: あの段落分けは集団中である
fact9 -> hypothesis;
fact9 -> hypothesis;
その瓦屋根は常設する
$facts$ = fact1: あの窒息は常設する fact2: 「あの段落分けはサラダ油でない」ということは本当だとすれば「その瓦屋根は常設するししかも次善シナリオである」ということは確かである fact3: あの段落分けは合わせ易い fact4: このナイトシェイドは常設する fact5: その関連法規は常設する fact6: 何もかもは賢し fact7: その環境変化は常設する fact8: 「あの段落分けは纏め上げる」ということは誤っていない fact9: 「あの段落分けは常設する」ということは成り立つ fact10: もしあの六例は次善シナリオでないとすれば「あの段落分けは常設するがサラダ油でない」ということは成り立たない fact11: 「あの主作業は常設する」ということは成り立つ fact12: 次善シナリオは常設する fact13: 「ＭＡであるかもしくは質問紙調査であるかまたは両方な」ものはある fact14: 見聞録は賢し fact15: あの唐古・鍵遺跡は常設する fact16: もし「とある物は常設するけどサラダ油でない」ということは成り立つということはないとしたらそれは常設しない fact17: もしもあの六例がＭＡならば見聞録である fact18: もし仮にある物は賢しなら「それはサラダ油でなくてその上次善シナリオでない」ということは成り立たない fact19: あの段落分けは吠え捲る fact20: あの段落分けは集団中である ; $hypothesis$ = あの段落分けは常設する ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: あの窒息は常設する
事実2: 「あの段落分けはサラダ油でない」ということは本当だとすれば「その瓦屋根は常設するししかも次善シナリオである」ということは確かである
事実3: あの段落分けは合わせ易い
事実4: このナイトシェイドは常設する
事実5: その関連法規は常設する
事実6: 何もかもは賢し
事実7: その環境変化は常設する
事実8: 「あの段落分けは纏め上げる」ということは誤っていない
事実9: 「あの段落分けは常設する」ということは成り立つ
事実10: もしあの六例は次善シナリオでないとすれば「あの段落分けは常設するがサラダ油でない」ということは成り立たない
事実11: 「あの主作業は常設する」ということは成り立つ
事実12: 次善シナリオは常設する
事実13: 「ＭＡであるかもしくは質問紙調査であるかまたは両方な」ものはある
事実14: 見聞録は賢し
事実15: あの唐古・鍵遺跡は常設する
事実16: もし「とある物は常設するけどサラダ油でない」ということは成り立つということはないとしたらそれは常設しない
事実17: もしもあの六例がＭＡならば見聞録である
事実18: もし仮にある物は賢しなら「それはサラダ油でなくてその上次善シナリオでない」ということは成り立たない
事実19: あの段落分けは吠え捲る
事実20: あの段落分けは集団中である

仮説: あの段落分けは常設する
1. 事実9から、仮説が導かれる

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