その花径は攻め入る
fact1: その側頭連合野は完成出来る fact2: その花径はべろ毒素である fact3: あの棺桶は分かり易くない fact4: 仮にその花径が完成出来るとしたら攻め入る fact5: その花径は完成出来る fact6: あの棺桶は漁撈でない fact7: もし仮にその花径がべろ毒素でないとすればこの急性肝炎は完成出来るし加えてそれは攻め入る fact8: あの搭乗手続きは卒園する fact9: あの搭乗手続きは完成出来る fact10: この過去・現在・未来は繕わないけどべろ毒素だ fact11: なんらかのものが出発すらないとすればべろ毒素でない
fact4 & fact5 -> hypothesis;
fact4 & fact5 -> hypothesis;
この急性肝炎は完成出来る
fact14 -> int1: その花径が出発すらないならばそれはべろ毒素でない; fact12 & fact13 -> int2: あの棺桶は漁撈でなくてその上それは分かり易くない; int2 -> int3: ある物は漁撈でないし分かり易くない;
$facts$ = fact1: その側頭連合野は完成出来る fact2: その花径はべろ毒素である fact3: あの棺桶は分かり易くない fact4: 仮にその花径が完成出来るとしたら攻め入る fact5: その花径は完成出来る fact6: あの棺桶は漁撈でない fact7: もし仮にその花径がべろ毒素でないとすればこの急性肝炎は完成出来るし加えてそれは攻め入る fact8: あの搭乗手続きは卒園する fact9: あの搭乗手続きは完成出来る fact10: この過去・現在・未来は繕わないけどべろ毒素だ fact11: なんらかのものが出発すらないとすればべろ毒素でない ; $hypothesis$ = その花径は攻め入る ; $proof$ = 
fact4 & fact5 -> hypothesis; __PROVED__
事実1: その側頭連合野は完成出来る
事実2: その花径はべろ毒素である
事実3: あの棺桶は分かり易くない
事実4: 仮にその花径が完成出来るとしたら攻め入る
事実5: その花径は完成出来る
事実6: あの棺桶は漁撈でない
事実7: もし仮にその花径がべろ毒素でないとすればこの急性肝炎は完成出来るし加えてそれは攻め入る
事実8: あの搭乗手続きは卒園する
事実9: あの搭乗手続きは完成出来る
事実10: この過去・現在・未来は繕わないけどべろ毒素だ
事実11: なんらかのものが出発すらないとすればべろ毒素でない

仮説: その花径は攻め入る
1. 事実4と事実5から、仮説が導かれる

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