あのプチ幸せは軌間でない
fact1: その送還は買い易いということはない fact2: その事故原因は軌間であるということはない fact3: 仮に「あのスピードアップは押し流すし御母さん方だ」ということは正しいならば買い易くない fact4: もし仮に「なんらかの物はマギー・チャンでなくて発想しない」ということは成り立たないとすれば「軌間である」ということは誤っていない fact5: もし「あのプチ幸せは少なくないけどそれは軌間である」ということは確かであるとすればそれは聞き咎めない fact6: あのプチ幸せは購入出来ない fact7: あのプチ幸せは二千二年夏でない fact8: もしもこの統計的分析は出品出来るししかも人夫達だとしたら御辛くない fact9: あのプチ幸せは買い易くないが御辛い fact10: その他市は買い易くない fact11: もし仮にそのブローホールは聴神経でないとすると「あのプチ幸せはマギー・チャンでなくてしかも発想するということはない」ということは誤っている fact12: この全血は転属する fact13: もしもあのプチ幸せは軌間であるししかも仮退院するとするとそれは換金出来ない fact14: もし仮にあのプチ幸せは買い易くないが御辛いとすればそれは軌間でない
fact14 & fact9 -> hypothesis;
fact14 & fact9 -> hypothesis;
あのプチ幸せは軌間である
fact17 -> int1: 「あのプチ幸せはマギー・チャンでなくて更に発想するということはない」ということは成り立たないならばそれは軌間である;
$facts$ = fact1: その送還は買い易いということはない fact2: その事故原因は軌間であるということはない fact3: 仮に「あのスピードアップは押し流すし御母さん方だ」ということは正しいならば買い易くない fact4: もし仮に「なんらかの物はマギー・チャンでなくて発想しない」ということは成り立たないとすれば「軌間である」ということは誤っていない fact5: もし「あのプチ幸せは少なくないけどそれは軌間である」ということは確かであるとすればそれは聞き咎めない fact6: あのプチ幸せは購入出来ない fact7: あのプチ幸せは二千二年夏でない fact8: もしもこの統計的分析は出品出来るししかも人夫達だとしたら御辛くない fact9: あのプチ幸せは買い易くないが御辛い fact10: その他市は買い易くない fact11: もし仮にそのブローホールは聴神経でないとすると「あのプチ幸せはマギー・チャンでなくてしかも発想するということはない」ということは誤っている fact12: この全血は転属する fact13: もしもあのプチ幸せは軌間であるししかも仮退院するとするとそれは換金出来ない fact14: もし仮にあのプチ幸せは買い易くないが御辛いとすればそれは軌間でない ; $hypothesis$ = あのプチ幸せは軌間でない ; $proof$ = 
fact14 & fact9 -> hypothesis; __PROVED__
事実1: その送還は買い易いということはない
事実2: その事故原因は軌間であるということはない
事実3: 仮に「あのスピードアップは押し流すし御母さん方だ」ということは正しいならば買い易くない
事実4: もし仮に「なんらかの物はマギー・チャンでなくて発想しない」ということは成り立たないとすれば「軌間である」ということは誤っていない
事実5: もし「あのプチ幸せは少なくないけどそれは軌間である」ということは確かであるとすればそれは聞き咎めない
事実6: あのプチ幸せは購入出来ない
事実7: あのプチ幸せは二千二年夏でない
事実8: もしもこの統計的分析は出品出来るししかも人夫達だとしたら御辛くない
事実9: あのプチ幸せは買い易くないが御辛い
事実10: その他市は買い易くない
事実11: もし仮にそのブローホールは聴神経でないとすると「あのプチ幸せはマギー・チャンでなくてしかも発想するということはない」ということは誤っている
事実12: この全血は転属する
事実13: もしもあのプチ幸せは軌間であるししかも仮退院するとするとそれは換金出来ない
事実14: もし仮にあのプチ幸せは買い易くないが御辛いとすればそれは軌間でない

仮説: あのプチ幸せは軌間でない
1. 事実14と事実9から、仮説が導かれる

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