あの教典は臭い
fact1: その呂洞賓は臭い fact2: あの教典は起居する fact3: あのよど号は臭い fact4: そのインタラクションは臭い fact5: 「あの教典は立ち入れる」ということは間違っていない fact6: 「あの教典は臭い」ということは正しい fact7: この国民年金基金は臭い fact8: 「その投与期間は臭い」ということは本当だ fact9: あの教典は名高い fact10: あの教典は汚らしい fact11: あのファイバーは臭い fact12: あの教典は仕向け地区分だ fact13: あの教典は意味付ける fact14: この勤務態度は臭い fact15: あの教典は欲深い
fact6 -> hypothesis;
$facts$ = fact1: その呂洞賓は臭い fact2: あの教典は起居する fact3: あのよど号は臭い fact4: そのインタラクションは臭い fact5: 「あの教典は立ち入れる」ということは間違っていない fact6: 「あの教典は臭い」ということは正しい fact7: この国民年金基金は臭い fact8: 「その投与期間は臭い」ということは本当だ fact9: あの教典は名高い fact10: あの教典は汚らしい fact11: あのファイバーは臭い fact12: あの教典は仕向け地区分だ fact13: あの教典は意味付ける fact14: この勤務態度は臭い fact15: あの教典は欲深い ; $hypothesis$ = あの教典は臭い ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: その呂洞賓は臭い
事実2: あの教典は起居する
事実3: あのよど号は臭い
事実4: そのインタラクションは臭い
事実5: 「あの教典は立ち入れる」ということは間違っていない
事実6: 「あの教典は臭い」ということは正しい
事実7: この国民年金基金は臭い
事実8: 「その投与期間は臭い」ということは本当だ
事実9: あの教典は名高い
事実10: あの教典は汚らしい
事実11: あのファイバーは臭い
事実12: あの教典は仕向け地区分だ
事実13: あの教典は意味付ける
事実14: この勤務態度は臭い
事実15: あの教典は欲深い

仮説: あの教典は臭い
1. 事実6から、仮説が導かれる

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