その建設所は古臭いということはない
fact1: 仮に「あの統合化は古臭い」ということは成り立つなら「その建設所は古臭い」ということは事実だ fact2: この火矢は古臭くない fact3: その建設所は古臭くない fact4: この栽培室が赤くないならそれは中央集権的官僚制で裁断する fact5: 故無い物が絶叫するならそれは古臭くない fact6: もしこの栽培室が薄っぺらくないとしたらそれは寝苦しいしかつ故無い fact7: もしなにかは裁断するとすれば絶叫する fact8: その建設所はし辛くない fact9: この栽培室は薄っぺらいということはない
fact3 -> hypothesis;
fact3 -> hypothesis;
その建設所は古臭い
$facts$ = fact1: 仮に「あの統合化は古臭い」ということは成り立つなら「その建設所は古臭い」ということは事実だ fact2: この火矢は古臭くない fact3: その建設所は古臭くない fact4: この栽培室が赤くないならそれは中央集権的官僚制で裁断する fact5: 故無い物が絶叫するならそれは古臭くない fact6: もしこの栽培室が薄っぺらくないとしたらそれは寝苦しいしかつ故無い fact7: もしなにかは裁断するとすれば絶叫する fact8: その建設所はし辛くない fact9: この栽培室は薄っぺらいということはない ; $hypothesis$ = その建設所は古臭いということはない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮に「あの統合化は古臭い」ということは成り立つなら「その建設所は古臭い」ということは事実だ
事実2: この火矢は古臭くない
事実3: その建設所は古臭くない
事実4: この栽培室が赤くないならそれは中央集権的官僚制で裁断する
事実5: 故無い物が絶叫するならそれは古臭くない
事実6: もしこの栽培室が薄っぺらくないとしたらそれは寝苦しいしかつ故無い
事実7: もしなにかは裁断するとすれば絶叫する
事実8: その建設所はし辛くない
事実9: この栽培室は薄っぺらいということはない

仮説: その建設所は古臭いということはない
1. 事実3から、仮説が導かれる

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