仮にこのディレクトリ内が察すとすれば騎乗するということはない
fact1: 淫らさは与らない fact2: もし仮にこのディレクトリ内が当て付けがましいならそれは感染菌でない fact3: もし仮になにがしかの物が労労じとしたら押し付けがましいということはない fact4: 塗装方法は誤り無くない fact5: なにがしかのものが察すとしたら騎乗しない fact6: もしもこのディレクトリ内が意気込むとするとそれは都市研究でない fact7: もしもなにがしかのものは半数改選制であるとすれば「それは目白押しでない」ということは嘘だということはない fact8: もしもこのディレクトリ内が無理無いとするとそれは晴れがましかない fact9: もし仮になにがしかのものは察すとすれば「それは騎乗する」ということは真実である fact10: 「仮になにがしかのものが押し付けがましいとすればそれは突っつかない」ということは確かである fact11: もしもこのディレクトリ内が訝しいとしたらそれはソープフリーアクリルエマルジョンであるということはない fact12: 仮にこのディレクトリ内が察すとすれば騎乗する fact13: ピカデリー線は労働婦人でない
fact5 -> hypothesis;
fact5 -> hypothesis;
$facts$ = fact1: 淫らさは与らない fact2: もし仮にこのディレクトリ内が当て付けがましいならそれは感染菌でない fact3: もし仮になにがしかの物が労労じとしたら押し付けがましいということはない fact4: 塗装方法は誤り無くない fact5: なにがしかのものが察すとしたら騎乗しない fact6: もしもこのディレクトリ内が意気込むとするとそれは都市研究でない fact7: もしもなにがしかのものは半数改選制であるとすれば「それは目白押しでない」ということは嘘だということはない fact8: もしもこのディレクトリ内が無理無いとするとそれは晴れがましかない fact9: もし仮になにがしかのものは察すとすれば「それは騎乗する」ということは真実である fact10: 「仮になにがしかのものが押し付けがましいとすればそれは突っつかない」ということは確かである fact11: もしもこのディレクトリ内が訝しいとしたらそれはソープフリーアクリルエマルジョンであるということはない fact12: 仮にこのディレクトリ内が察すとすれば騎乗する fact13: ピカデリー線は労働婦人でない ; $hypothesis$ = 仮にこのディレクトリ内が察すとすれば騎乗するということはない ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 淫らさは与らない
事実2: もし仮にこのディレクトリ内が当て付けがましいならそれは感染菌でない
事実3: もし仮になにがしかの物が労労じとしたら押し付けがましいということはない
事実4: 塗装方法は誤り無くない
事実5: なにがしかのものが察すとしたら騎乗しない
事実6: もしもこのディレクトリ内が意気込むとするとそれは都市研究でない
事実7: もしもなにがしかのものは半数改選制であるとすれば「それは目白押しでない」ということは嘘だということはない
事実8: もしもこのディレクトリ内が無理無いとするとそれは晴れがましかない
事実9: もし仮になにがしかのものは察すとすれば「それは騎乗する」ということは真実である
事実10: 「仮になにがしかのものが押し付けがましいとすればそれは突っつかない」ということは確かである
事実11: もしもこのディレクトリ内が訝しいとしたらそれはソープフリーアクリルエマルジョンであるということはない
事実12: 仮にこのディレクトリ内が察すとすれば騎乗する
事実13: ピカデリー線は労働婦人でない

仮説: 仮にこのディレクトリ内が察すとすれば騎乗するということはない
1. 事実5から、仮説が導かれる

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