あのノルマ数が切り難い一方で大反対であるということはないとすればその出来高給は術野である
fact1: もしこの五分前が画一化しないならばその出来高給は画一化する fact2: あの尿毒症は燻すし画一化する fact3: あのノルマ数は当て付けがましい fact4: もしもあのノルマ数が切り難いがしかしそれが大反対でないとするとこの五分前は画一化するということはない fact5: 仮にこの五分前が画一化しないならばその出来高給は術野であるし加えて画一化する fact6: あのノルマ数は切り難い fact7: あの七百立方メートルは画一化しない fact8: もしあのノルマ数が切り難いしその上大反対であるとすればその出来高給は術野だ fact9: もしなにかは画一化しないとするとそれは術野でない fact10: その出来高給は画一化する fact11: あのノルマ数は画一化するけれど大反対でない fact12: もし仮にこの五分前が画一化する一方でそれが術野でないとするとその出来高給は切り難いということはない fact13: この五分前が一定レベルだけど直木賞受賞でない fact14: なんらかの物は術野でないとするとそれはしおらしいし切り難い fact15: もし仮にあのノルマ数が術野だけれど大反対でないとするとその出来高給は画一化しない fact16: あのノルマ数は大反対でない fact17: もし仮にあのノルマ数が切り難くて大反対であるとすればあの五分前は画一化しない
void -> assump1: 以下のように仮定する。あのノルマ数は切り難い一方でそれは大反対でない; fact4 & assump1 -> int1: この五分前は画一化しない; int1 & fact5 -> int2: その出来高給は術野であるし画一化する; int2 -> int3: その出来高給は術野だ; [assump1] & int3 -> hypothesis;
その爾後はしおらしいし加えて切り難い
fact18 -> int4: 仮にその爾後が術野でないとすればそれはしおらしくてまた切り難い; fact19 -> int5: その爾後が画一化しないとすればそれは術野でない;
$facts$ = fact1: もしこの五分前が画一化しないならばその出来高給は画一化する fact2: あの尿毒症は燻すし画一化する fact3: あのノルマ数は当て付けがましい fact4: もしもあのノルマ数が切り難いがしかしそれが大反対でないとするとこの五分前は画一化するということはない fact5: 仮にこの五分前が画一化しないならばその出来高給は術野であるし加えて画一化する fact6: あのノルマ数は切り難い fact7: あの七百立方メートルは画一化しない fact8: もしあのノルマ数が切り難いしその上大反対であるとすればその出来高給は術野だ fact9: もしなにかは画一化しないとするとそれは術野でない fact10: その出来高給は画一化する fact11: あのノルマ数は画一化するけれど大反対でない fact12: もし仮にこの五分前が画一化する一方でそれが術野でないとするとその出来高給は切り難いということはない fact13: この五分前が一定レベルだけど直木賞受賞でない fact14: なんらかの物は術野でないとするとそれはしおらしいし切り難い fact15: もし仮にあのノルマ数が術野だけれど大反対でないとするとその出来高給は画一化しない fact16: あのノルマ数は大反対でない fact17: もし仮にあのノルマ数が切り難くて大反対であるとすればあの五分前は画一化しない ; $hypothesis$ = あのノルマ数が切り難い一方で大反対であるということはないとすればその出来高給は術野である ; $proof$ = 
void -> assump1: 以下のように仮定する。あのノルマ数は切り難い一方でそれは大反対でない; fact4 & assump1 -> int1: この五分前は画一化しない; int1 & fact5 -> int2: その出来高給は術野であるし画一化する; int2 -> int3: その出来高給は術野だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしこの五分前が画一化しないならばその出来高給は画一化する
事実2: あの尿毒症は燻すし画一化する
事実3: あのノルマ数は当て付けがましい
事実4: もしもあのノルマ数が切り難いがしかしそれが大反対でないとするとこの五分前は画一化するということはない
事実5: 仮にこの五分前が画一化しないならばその出来高給は術野であるし加えて画一化する
事実6: あのノルマ数は切り難い
事実7: あの七百立方メートルは画一化しない
事実8: もしあのノルマ数が切り難いしその上大反対であるとすればその出来高給は術野だ
事実9: もしなにかは画一化しないとするとそれは術野でない
事実10: その出来高給は画一化する
事実11: あのノルマ数は画一化するけれど大反対でない
事実12: もし仮にこの五分前が画一化する一方でそれが術野でないとするとその出来高給は切り難いということはない
事実13: この五分前が一定レベルだけど直木賞受賞でない
事実14: なんらかの物は術野でないとするとそれはしおらしいし切り難い
事実15: もし仮にあのノルマ数が術野だけれど大反対でないとするとその出来高給は画一化しない
事実16: あのノルマ数は大反対でない
事実17: もし仮にあのノルマ数が切り難くて大反対であるとすればあの五分前は画一化しない

仮説: あのノルマ数が切り難い一方で大反対であるということはないとすればその出来高給は術野である
1. 仮定1: 以下のように仮定する。あのノルマ数は切り難い一方でそれは大反対でない
2. 事実4と仮定1から、推論1: "この五分前は画一化しない"が導かれる
3. 推論1と事実5から、推論2: "その出来高給は術野であるし画一化する"が導かれる
4. 推論2から、推論3: "その出来高給は術野だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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