「回帰する」物はある
fact1: 「終夜営業な」ものはある fact2: この授業前は学生さんでまたそれは併合する fact3: この授業前はチーフ・カメラマンだ fact4: この授業前は懐かしむし腐り易い fact5: 優し物は御過ごし下さる fact6: その権利内容は貯蔵所である fact7: この授業前は優ししおまけにミニ・スカートである fact8: この授業前は思い易い fact9: 何らかのものは当たり難い fact10: 仮にこの授業前が回帰しないとしたらこの送り団子は和らぐし加えて優し fact11: この授業前は垂直移動する fact12: このオリゴは優し fact13: この授業前は優し fact14: その都市政治は併合する fact15: チーフ・カメラマンはある fact16: あの血管収縮は優し fact17: この授業前は少ない fact18: この授業前は優しし回帰する fact19: とある物は重たい fact20: 優し物はある
fact18 -> int1: この授業前は回帰する; int1 -> hypothesis;
この送り団子は和らぐ
$facts$ = fact1: 「終夜営業な」ものはある fact2: この授業前は学生さんでまたそれは併合する fact3: この授業前はチーフ・カメラマンだ fact4: この授業前は懐かしむし腐り易い fact5: 優し物は御過ごし下さる fact6: その権利内容は貯蔵所である fact7: この授業前は優ししおまけにミニ・スカートである fact8: この授業前は思い易い fact9: 何らかのものは当たり難い fact10: 仮にこの授業前が回帰しないとしたらこの送り団子は和らぐし加えて優し fact11: この授業前は垂直移動する fact12: このオリゴは優し fact13: この授業前は優し fact14: その都市政治は併合する fact15: チーフ・カメラマンはある fact16: あの血管収縮は優し fact17: この授業前は少ない fact18: この授業前は優しし回帰する fact19: とある物は重たい fact20: 優し物はある ; $hypothesis$ = 「回帰する」物はある ; $proof$ = 
fact18 -> int1: この授業前は回帰する; int1 -> hypothesis; __PROVED__
事実1: 「終夜営業な」ものはある
事実2: この授業前は学生さんでまたそれは併合する
事実3: この授業前はチーフ・カメラマンだ
事実4: この授業前は懐かしむし腐り易い
事実5: 優し物は御過ごし下さる
事実6: その権利内容は貯蔵所である
事実7: この授業前は優ししおまけにミニ・スカートである
事実8: この授業前は思い易い
事実9: 何らかのものは当たり難い
事実10: 仮にこの授業前が回帰しないとしたらこの送り団子は和らぐし加えて優し
事実11: この授業前は垂直移動する
事実12: このオリゴは優し
事実13: この授業前は優し
事実14: その都市政治は併合する
事実15: チーフ・カメラマンはある
事実16: あの血管収縮は優し
事実17: この授業前は少ない
事実18: この授業前は優しし回帰する
事実19: とある物は重たい
事実20: 優し物はある

仮説: 「回帰する」物はある
1. 事実18から、推論1: "この授業前は回帰する"が導かれる
2. 推論1から、仮説が導かれる

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