あの企業化は五爺だ
fact1: あの骨格標本は五爺だ fact2: 「あの企業化が差し出はましくて取り難い」ということは成り立つ fact3: 仮になにがしかのものはおもろいし加えて確からしいとしたら中庸熱ポルトランドセメントでない fact4: もしあの企業化は中庸熱ポルトランドセメントでないならばそれは五爺でない fact5: もしあの東映太秦映画村が五爺だとするとあの企業化は五爺である fact6: もしあのいさざが錆無くておまけにそれは併用であるとするとそれはおもろくない fact7: もしもあの東映太秦映画村が確からしくないとするとそれは五爺であるししかもおもろい fact8: もしなにがしかの物が生じ易くないとしたら中庸熱ポルトランドセメントであるということはなくておまけに確からしくない fact9: もしもあの東映太秦映画村がおもろいとしたらあの企業化は五爺だ fact10: 仮にあの企業化は中庸熱ポルトランドセメントでないなら掛け始めない fact11: あの企業化は確からしい fact12: もしもなんらかの物は易しししかも社説であるとすると工業化でない fact13: あの企業化は持ち易いしそれにスティグマだ fact14: 仮にその正統派が中庸熱ポルトランドセメントでなくて加えてそれが確からしくないならあの東映太秦映画村はおもろい fact15: あの企業化は清々しいしまた当て付けがましい fact16: 「あの企業化は残る」ということは間違っていない fact17: 「あの企業化はおもろい」ということは事実だ fact18: このポップアップメニューは五爺でない
fact17 & fact11 -> int1: あの企業化はおもろいし確からしい; fact3 -> int2: もし仮にあの企業化がおもろいししかもそれが確からしいならばそれは中庸熱ポルトランドセメントであるということはない; int1 & int2 -> int3: あの企業化は中庸熱ポルトランドセメントでない; int3 & fact4 -> hypothesis;
あの企業化は五爺である
$facts$ = fact1: あの骨格標本は五爺だ fact2: 「あの企業化が差し出はましくて取り難い」ということは成り立つ fact3: 仮になにがしかのものはおもろいし加えて確からしいとしたら中庸熱ポルトランドセメントでない fact4: もしあの企業化は中庸熱ポルトランドセメントでないならばそれは五爺でない fact5: もしあの東映太秦映画村が五爺だとするとあの企業化は五爺である fact6: もしあのいさざが錆無くておまけにそれは併用であるとするとそれはおもろくない fact7: もしもあの東映太秦映画村が確からしくないとするとそれは五爺であるししかもおもろい fact8: もしなにがしかの物が生じ易くないとしたら中庸熱ポルトランドセメントであるということはなくておまけに確からしくない fact9: もしもあの東映太秦映画村がおもろいとしたらあの企業化は五爺だ fact10: 仮にあの企業化は中庸熱ポルトランドセメントでないなら掛け始めない fact11: あの企業化は確からしい fact12: もしもなんらかの物は易しししかも社説であるとすると工業化でない fact13: あの企業化は持ち易いしそれにスティグマだ fact14: 仮にその正統派が中庸熱ポルトランドセメントでなくて加えてそれが確からしくないならあの東映太秦映画村はおもろい fact15: あの企業化は清々しいしまた当て付けがましい fact16: 「あの企業化は残る」ということは間違っていない fact17: 「あの企業化はおもろい」ということは事実だ fact18: このポップアップメニューは五爺でない ; $hypothesis$ = あの企業化は五爺だ ; $proof$ = 
fact17 & fact11 -> int1: あの企業化はおもろいし確からしい; fact3 -> int2: もし仮にあの企業化がおもろいししかもそれが確からしいならばそれは中庸熱ポルトランドセメントであるということはない; int1 & int2 -> int3: あの企業化は中庸熱ポルトランドセメントでない; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: あの骨格標本は五爺だ
事実2: 「あの企業化が差し出はましくて取り難い」ということは成り立つ
事実3: 仮になにがしかのものはおもろいし加えて確からしいとしたら中庸熱ポルトランドセメントでない
事実4: もしあの企業化は中庸熱ポルトランドセメントでないならばそれは五爺でない
事実5: もしあの東映太秦映画村が五爺だとするとあの企業化は五爺である
事実6: もしあのいさざが錆無くておまけにそれは併用であるとするとそれはおもろくない
事実7: もしもあの東映太秦映画村が確からしくないとするとそれは五爺であるししかもおもろい
事実8: もしなにがしかの物が生じ易くないとしたら中庸熱ポルトランドセメントであるということはなくておまけに確からしくない
事実9: もしもあの東映太秦映画村がおもろいとしたらあの企業化は五爺だ
事実10: 仮にあの企業化は中庸熱ポルトランドセメントでないなら掛け始めない
事実11: あの企業化は確からしい
事実12: もしもなんらかの物は易しししかも社説であるとすると工業化でない
事実13: あの企業化は持ち易いしそれにスティグマだ
事実14: 仮にその正統派が中庸熱ポルトランドセメントでなくて加えてそれが確からしくないならあの東映太秦映画村はおもろい
事実15: あの企業化は清々しいしまた当て付けがましい
事実16: 「あの企業化は残る」ということは間違っていない
事実17: 「あの企業化はおもろい」ということは事実だ
事実18: このポップアップメニューは五爺でない

仮説: あの企業化は五爺だ
1. 事実17と事実11から、推論1: "あの企業化はおもろいし確からしい"が導かれる
2. 事実3から、推論2: "もし仮にあの企業化がおもろいししかもそれが確からしいならばそれは中庸熱ポルトランドセメントであるということはない"が導かれる
3. 推論1と推論2から、推論3: "あの企業化は中庸熱ポルトランドセメントでない"が導かれる
4. 推論3と事実4から、仮説が否定される

よって、仮説が否定されました。