「あの自然派は連続立体交差事業である」ということは確かである
fact1: 「何らかのものは九十五パーセント信頼区間でない一方で現代病だ」ということは誤っているとするとそれは予測し難いということはない fact2: あの手動は連続立体交差事業だ fact3: 予測し難くない物は連続立体交差事業であるしそれに受け易い fact4: あの自然派は変化し易い fact5: もしもあるものは予測し難くないなら「連続立体交差事業で受け易い」ということは成り立たない fact6: 「あの自然派は塑性化しなくておまけに納得し易くない」ということは事実である fact7: 「なにがしかのものは連続立体交差事業であるしまた受け易い」ということは嘘だとすると「それは連続立体交差事業でない」ということは本当だ fact8: あの自然派は連続立体交差事業である
fact8 -> hypothesis;
fact8 -> hypothesis;
あの自然派は連続立体交差事業でない
fact9 -> int1: もし「あの自然派は連続立体交差事業であるしその上受け易い」ということは成り立たないとすれば連続立体交差事業でない; fact10 -> int2: 仮にあの自然派は予測し難くないとすれば「連続立体交差事業でそれは受け易い」ということは間違いである;
$facts$ = fact1: 「何らかのものは九十五パーセント信頼区間でない一方で現代病だ」ということは誤っているとするとそれは予測し難いということはない fact2: あの手動は連続立体交差事業だ fact3: 予測し難くない物は連続立体交差事業であるしそれに受け易い fact4: あの自然派は変化し易い fact5: もしもあるものは予測し難くないなら「連続立体交差事業で受け易い」ということは成り立たない fact6: 「あの自然派は塑性化しなくておまけに納得し易くない」ということは事実である fact7: 「なにがしかのものは連続立体交差事業であるしまた受け易い」ということは嘘だとすると「それは連続立体交差事業でない」ということは本当だ fact8: あの自然派は連続立体交差事業である ; $hypothesis$ = 「あの自然派は連続立体交差事業である」ということは確かである ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「何らかのものは九十五パーセント信頼区間でない一方で現代病だ」ということは誤っているとするとそれは予測し難いということはない
事実2: あの手動は連続立体交差事業だ
事実3: 予測し難くない物は連続立体交差事業であるしそれに受け易い
事実4: あの自然派は変化し易い
事実5: もしもあるものは予測し難くないなら「連続立体交差事業で受け易い」ということは成り立たない
事実6: 「あの自然派は塑性化しなくておまけに納得し易くない」ということは事実である
事実7: 「なにがしかのものは連続立体交差事業であるしまた受け易い」ということは嘘だとすると「それは連続立体交差事業でない」ということは本当だ
事実8: あの自然派は連続立体交差事業である

仮説: 「あの自然派は連続立体交差事業である」ということは確かである
1. 事実8から、仮説が導かれる

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