あの疚しさは抜き難い
fact1: そのコンテクストは抜き難い fact2: 仮にこの後期試験が許し難しとすればあの疚しさは抜き難い fact3: あの疚しさは日の出である fact4: あの分離不安は抜き難い fact5: あの疚しさは許し難くてそれは統計結果だ fact6: もしもあの疚しさが穴埋めするならそれは滑走しないしまた接ぎ木である fact7: この後期試験は面目無い fact8: すべてのものは穴埋めするしそれは薄汚い fact9: 仮にあの疚しさが許し難しならこの後期試験は抜き難い fact10: あの疚しさは許し難し fact11: 仮にこの後期試験が抜き難いならあの疚しさは許し難し fact12: この後期試験はバンドルする fact13: あの拝見は抜き難い fact14: あの静中は許し難し fact15: このブロック挿入は許し難し fact16: この後期試験は肉食性である fact17: この後期試験は好ましい fact18: この後期試験は抜き難い fact19: この後期試験は許し難し fact20: あの疚しさは届き易い fact21: 「この謗法者は許し難し」ということは成り立つ
fact2 & fact19 -> hypothesis;
fact2 & fact19 -> hypothesis;
あの疚しさは抜き難くない
fact23 -> int1: この後期試験は穴埋めするし更に薄汚い; int1 -> int2: この後期試験は穴埋めする; int2 -> int3: あらゆるものは穴埋めする; int3 -> int4: あの疚しさは穴埋めする; fact22 & int4 -> int5: あの疚しさは滑走するということはないがしかし接ぎ木である; int5 -> int6: あの疚しさは接ぎ木だ; fact24 -> int7: あの疚しさは許し難し; int6 & int7 -> int8: あの疚しさは接ぎ木だし許し難し;
$facts$ = fact1: そのコンテクストは抜き難い fact2: 仮にこの後期試験が許し難しとすればあの疚しさは抜き難い fact3: あの疚しさは日の出である fact4: あの分離不安は抜き難い fact5: あの疚しさは許し難くてそれは統計結果だ fact6: もしもあの疚しさが穴埋めするならそれは滑走しないしまた接ぎ木である fact7: この後期試験は面目無い fact8: すべてのものは穴埋めするしそれは薄汚い fact9: 仮にあの疚しさが許し難しならこの後期試験は抜き難い fact10: あの疚しさは許し難し fact11: 仮にこの後期試験が抜き難いならあの疚しさは許し難し fact12: この後期試験はバンドルする fact13: あの拝見は抜き難い fact14: あの静中は許し難し fact15: このブロック挿入は許し難し fact16: この後期試験は肉食性である fact17: この後期試験は好ましい fact18: この後期試験は抜き難い fact19: この後期試験は許し難し fact20: あの疚しさは届き易い fact21: 「この謗法者は許し難し」ということは成り立つ ; $hypothesis$ = あの疚しさは抜き難い ; $proof$ = 
fact2 & fact19 -> hypothesis; __PROVED__
事実1: そのコンテクストは抜き難い
事実2: 仮にこの後期試験が許し難しとすればあの疚しさは抜き難い
事実3: あの疚しさは日の出である
事実4: あの分離不安は抜き難い
事実5: あの疚しさは許し難くてそれは統計結果だ
事実6: もしもあの疚しさが穴埋めするならそれは滑走しないしまた接ぎ木である
事実7: この後期試験は面目無い
事実8: すべてのものは穴埋めするしそれは薄汚い
事実9: 仮にあの疚しさが許し難しならこの後期試験は抜き難い
事実10: あの疚しさは許し難し
事実11: 仮にこの後期試験が抜き難いならあの疚しさは許し難し
事実12: この後期試験はバンドルする
事実13: あの拝見は抜き難い
事実14: あの静中は許し難し
事実15: このブロック挿入は許し難し
事実16: この後期試験は肉食性である
事実17: この後期試験は好ましい
事実18: この後期試験は抜き難い
事実19: この後期試験は許し難し
事実20: あの疚しさは届き易い
事実21: 「この謗法者は許し難し」ということは成り立つ

仮説: あの疚しさは抜き難い
1. 事実2と事実19から、仮説が導かれる

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