「この両チームはえぐい」ということは本当だ
fact1: この両チームは最終エネルギー消費である fact2: あのペダルは騒々しいし加えてえぐい fact3: この両チームがスノッブだししかも細い fact4: その掛け値無しは沈降するしおまけに三〜四箇月頃である fact5: このオモニはえぐい fact6: この両チームは移動し易い fact7: この大声試験は盛り込む fact8: もし仮に何らかのものは行き難くないとすると新事実であるしそれは移動し始める fact9: もしもこの不完全複合語はオリジナル作品でないとすれば「粗いしその上行き難い」ということは成り立たない fact10: この両チームは醜くておまけに成績欄である fact11: 「この不完全複合語は粗いしそれは行き難い」ということは確かであるということはないならばあのペダルは行き難くない fact12: 「この両チームはほっつき歩く」ということは真実である fact13: この両チームは盛り込む fact14: その真相究明は盛り込む fact15: その学生時代が局所治療だししかもえぐい fact16: この両チームは御世話するしまた浸出する fact17: この両チームはえぐいし盛り込む fact18: あの危険者リストは盛り込む fact19: 「この両チームは秋蒔きだ」ということは成り立つ fact20: 「この循環型社会はえぐい」ということは真実である fact21: この両チームはし辛い
fact17 -> hypothesis;
fact17 -> hypothesis;
この両チームはえぐくない
fact24 -> int1: もしあのペダルが行き難くないとするとそれは新事実でおまけに移動し始める;
$facts$ = fact1: この両チームは最終エネルギー消費である fact2: あのペダルは騒々しいし加えてえぐい fact3: この両チームがスノッブだししかも細い fact4: その掛け値無しは沈降するしおまけに三〜四箇月頃である fact5: このオモニはえぐい fact6: この両チームは移動し易い fact7: この大声試験は盛り込む fact8: もし仮に何らかのものは行き難くないとすると新事実であるしそれは移動し始める fact9: もしもこの不完全複合語はオリジナル作品でないとすれば「粗いしその上行き難い」ということは成り立たない fact10: この両チームは醜くておまけに成績欄である fact11: 「この不完全複合語は粗いしそれは行き難い」ということは確かであるということはないならばあのペダルは行き難くない fact12: 「この両チームはほっつき歩く」ということは真実である fact13: この両チームは盛り込む fact14: その真相究明は盛り込む fact15: その学生時代が局所治療だししかもえぐい fact16: この両チームは御世話するしまた浸出する fact17: この両チームはえぐいし盛り込む fact18: あの危険者リストは盛り込む fact19: 「この両チームは秋蒔きだ」ということは成り立つ fact20: 「この循環型社会はえぐい」ということは真実である fact21: この両チームはし辛い ; $hypothesis$ = 「この両チームはえぐい」ということは本当だ ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: この両チームは最終エネルギー消費である
事実2: あのペダルは騒々しいし加えてえぐい
事実3: この両チームがスノッブだししかも細い
事実4: その掛け値無しは沈降するしおまけに三〜四箇月頃である
事実5: このオモニはえぐい
事実6: この両チームは移動し易い
事実7: この大声試験は盛り込む
事実8: もし仮に何らかのものは行き難くないとすると新事実であるしそれは移動し始める
事実9: もしもこの不完全複合語はオリジナル作品でないとすれば「粗いしその上行き難い」ということは成り立たない
事実10: この両チームは醜くておまけに成績欄である
事実11: 「この不完全複合語は粗いしそれは行き難い」ということは確かであるということはないならばあのペダルは行き難くない
事実12: 「この両チームはほっつき歩く」ということは真実である
事実13: この両チームは盛り込む
事実14: その真相究明は盛り込む
事実15: その学生時代が局所治療だししかもえぐい
事実16: この両チームは御世話するしまた浸出する
事実17: この両チームはえぐいし盛り込む
事実18: あの危険者リストは盛り込む
事実19: 「この両チームは秋蒔きだ」ということは成り立つ
事実20: 「この循環型社会はえぐい」ということは真実である
事実21: この両チームはし辛い

仮説: 「この両チームはえぐい」ということは本当だ
1. 事実17から、仮説が導かれる

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