あの企業家達が頼り無いとしたらこの職務分担は通り難い
fact1: あの企業家達は頼り無いとすれば「それは腹黒い」ということは成り立つ fact2: この職務分担が腹黒いとしたらあの企業家達は通り難い fact3: もしもあの企業家達が腹黒いならばこの職務分担は通り難い fact4: もし仮にあるものが開国すれば通り難くない fact5: もしも「あの企業家達は差し穂でない」ということは成り立つとするとこの職務分担は外殻であるしそれに開国する fact6: 通り難くないものは頼り無いししかも腹黒い
void -> assump1: 以下のように仮定する。あの企業家達は頼り無い; fact1 & assump1 -> int1: あの企業家達は腹黒い; int1 & fact3 -> int2: この職務分担は通り難い; [assump1] & int2 -> hypothesis;
この職務分担は腹黒い
fact9 -> int3: もしこの職務分担が通り難くないとすると頼り無いし腹黒い; fact8 -> int4: もしもこの職務分担は開国するとすれば「それは通り難くない」ということは間違っていない;
$facts$ = fact1: あの企業家達は頼り無いとすれば「それは腹黒い」ということは成り立つ fact2: この職務分担が腹黒いとしたらあの企業家達は通り難い fact3: もしもあの企業家達が腹黒いならばこの職務分担は通り難い fact4: もし仮にあるものが開国すれば通り難くない fact5: もしも「あの企業家達は差し穂でない」ということは成り立つとするとこの職務分担は外殻であるしそれに開国する fact6: 通り難くないものは頼り無いししかも腹黒い ; $hypothesis$ = あの企業家達が頼り無いとしたらこの職務分担は通り難い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの企業家達は頼り無い; fact1 & assump1 -> int1: あの企業家達は腹黒い; int1 & fact3 -> int2: この職務分担は通り難い; [assump1] & int2 -> hypothesis; __PROVED__
事実1: あの企業家達は頼り無いとすれば「それは腹黒い」ということは成り立つ
事実2: この職務分担が腹黒いとしたらあの企業家達は通り難い
事実3: もしもあの企業家達が腹黒いならばこの職務分担は通り難い
事実4: もし仮にあるものが開国すれば通り難くない
事実5: もしも「あの企業家達は差し穂でない」ということは成り立つとするとこの職務分担は外殻であるしそれに開国する
事実6: 通り難くないものは頼り無いししかも腹黒い

仮説: あの企業家達が頼り無いとしたらこの職務分担は通り難い
1. 仮定1: 以下のように仮定する。あの企業家達は頼り無い
2. 事実1と仮定1から、推論1: "あの企業家達は腹黒い"が導かれる
3. 推論1と事実3から、推論2: "この職務分担は通り難い"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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