その歴史事象はどでかいししかもそれは零れ出る
fact1: もし仮にこの三屍が飲み直しないかまたは海運輸送ならそれは抗菌活性である fact2: この三屍は前ページ参照でない fact3: そのスクリプトがＳＳＨだとしたらその歴史事象はどでかい fact4: もし仮にこの三屍が担任するし更にそれが抗菌活性ならばこの仮名漢字変換はＳＳＨでない fact5: もしも「あの上前は生々しかない一方で零れ出る」ということは誤っているならばあのスクリプトは零れ出ない fact6: この三屍は飲み直しないかもしくは海運輸送であるかまたは両方ともである fact7: もしなにがしかの物が前ページ参照でないとすればそれが若いしその上担任する fact8: その歴史事象は生々しい fact9: そのスクリプトはＳＳＨだ fact10: このエボラ出血熱はどでかい fact11: その歴史事象は零れ出るし加えて生々しい
fact11 -> int1: その歴史事象は零れ出る; fact9 & fact3 -> int2: その歴史事象はどでかい; int1 & int2 -> hypothesis;
「その歴史事象がどでかいしその上零れ出る」ということは成り立たない
fact12 -> int3: この三屍が前ページ参照でないとすればそれは若いし更に担任する; int3 & fact16 -> int4: この三屍は若いし担任する; int4 -> int5: この三屍は担任する; fact14 & fact13 -> int6: この三屍は抗菌活性である; int5 & int6 -> int7: この三屍は担任するししかも抗菌活性である; fact17 & int7 -> int8: この仮名漢字変換はＳＳＨでない; int8 -> int9: 「ＳＳＨであるということはない」物はある;
$facts$ = fact1: もし仮にこの三屍が飲み直しないかまたは海運輸送ならそれは抗菌活性である fact2: この三屍は前ページ参照でない fact3: そのスクリプトがＳＳＨだとしたらその歴史事象はどでかい fact4: もし仮にこの三屍が担任するし更にそれが抗菌活性ならばこの仮名漢字変換はＳＳＨでない fact5: もしも「あの上前は生々しかない一方で零れ出る」ということは誤っているならばあのスクリプトは零れ出ない fact6: この三屍は飲み直しないかもしくは海運輸送であるかまたは両方ともである fact7: もしなにがしかの物が前ページ参照でないとすればそれが若いしその上担任する fact8: その歴史事象は生々しい fact9: そのスクリプトはＳＳＨだ fact10: このエボラ出血熱はどでかい fact11: その歴史事象は零れ出るし加えて生々しい ; $hypothesis$ = その歴史事象はどでかいししかもそれは零れ出る ; $proof$ = 
fact11 -> int1: その歴史事象は零れ出る; fact9 & fact3 -> int2: その歴史事象はどでかい; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にこの三屍が飲み直しないかまたは海運輸送ならそれは抗菌活性である
事実2: この三屍は前ページ参照でない
事実3: そのスクリプトがＳＳＨだとしたらその歴史事象はどでかい
事実4: もし仮にこの三屍が担任するし更にそれが抗菌活性ならばこの仮名漢字変換はＳＳＨでない
事実5: もしも「あの上前は生々しかない一方で零れ出る」ということは誤っているならばあのスクリプトは零れ出ない
事実6: この三屍は飲み直しないかもしくは海運輸送であるかまたは両方ともである
事実7: もしなにがしかの物が前ページ参照でないとすればそれが若いしその上担任する
事実8: その歴史事象は生々しい
事実9: そのスクリプトはＳＳＨだ
事実10: このエボラ出血熱はどでかい
事実11: その歴史事象は零れ出るし加えて生々しい

仮説: その歴史事象はどでかいししかもそれは零れ出る
1. 事実11から、推論1: "その歴史事象は零れ出る"が導かれる
2. 事実9と事実3から、推論2: "その歴史事象はどでかい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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