「この光明子は疑わしい」ということは確かである
fact1: この光明子はスローシンクロモードである fact2: この光明子は四至りである fact3: あの龍造寺家は疑わしい fact4: この光明子は疑わしい fact5: この短期投資は疑わしい fact6: この光明子は紛う fact7: あの人権は疑わしい fact8: 仮にあの尾裂き狐が様良くないとすると因り難くてかつ難い fact9: 仮にこの光明子が疑わしいということはないとするとその応募書類は疑わしい fact10: この小僧は疑わしい fact11: この光明子は因り難い fact12: 「この光明子は四角い」ということは正しい fact13: この光明子は反応妨害である fact14: あの宿願は疑わしい fact15: この光明子は害す fact16: あの区隊長は疑わしい fact17: あのドッグは疑わしい
fact4 -> hypothesis;
fact4 -> hypothesis;
「その応募書類は疑わしい」ということは確かである
$facts$ = fact1: この光明子はスローシンクロモードである fact2: この光明子は四至りである fact3: あの龍造寺家は疑わしい fact4: この光明子は疑わしい fact5: この短期投資は疑わしい fact6: この光明子は紛う fact7: あの人権は疑わしい fact8: 仮にあの尾裂き狐が様良くないとすると因り難くてかつ難い fact9: 仮にこの光明子が疑わしいということはないとするとその応募書類は疑わしい fact10: この小僧は疑わしい fact11: この光明子は因り難い fact12: 「この光明子は四角い」ということは正しい fact13: この光明子は反応妨害である fact14: あの宿願は疑わしい fact15: この光明子は害す fact16: あの区隊長は疑わしい fact17: あのドッグは疑わしい ; $hypothesis$ = 「この光明子は疑わしい」ということは確かである ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: この光明子はスローシンクロモードである
事実2: この光明子は四至りである
事実3: あの龍造寺家は疑わしい
事実4: この光明子は疑わしい
事実5: この短期投資は疑わしい
事実6: この光明子は紛う
事実7: あの人権は疑わしい
事実8: 仮にあの尾裂き狐が様良くないとすると因り難くてかつ難い
事実9: 仮にこの光明子が疑わしいということはないとするとその応募書類は疑わしい
事実10: この小僧は疑わしい
事実11: この光明子は因り難い
事実12: 「この光明子は四角い」ということは正しい
事実13: この光明子は反応妨害である
事実14: あの宿願は疑わしい
事実15: この光明子は害す
事実16: あの区隊長は疑わしい
事実17: あのドッグは疑わしい

仮説: 「この光明子は疑わしい」ということは確かである
1. 事実4から、仮説が導かれる

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