その企業間連携は自分越しでない
fact1: もしも「その企業間連携はどす黒いということはない一方でそれは浅黒い」ということは偽だとするとあの企業自身は浅黒いということはない fact2: その企業間連携は連対しない fact3: 仮に「「あの後継者はショートしないがそれは成功し易い」ということは成り立たない」ということは成り立てばその熱田支部はショートしない fact4: 仮に「その企業間連携は自分越しでないし更に著しかない」ということは成り立たないとすれば連対する fact5: もしもこの第二次世界大戦以後が仕事運でないとすればその熱田支部は借りれるしまたそれは生育歴だ fact6: もし「とあるものは分村計画でないがしかし仕事運だ」ということは事実であるということはないならば仕事運でない fact7: この神田明神は連対しない fact8: もし仮に「何らかの物は連対するけど睦まじくない」ということは正しくないならば「連対するということはない」ということは成り立つ fact9: あの後継者は御止めに成らない fact10: もしその企業間連携が野暮ったいならば中だ fact11: この止血凝固検査は連対しない fact12: 「その企業間連携は自分越しでないけれど著しい」ということは成り立たない fact13: もし仮になんらかの物は御止めに成らないならば「ショートしないしそれは成功し易い」ということは成り立たない fact14: その企業間連携は著しかない fact15: その熱田支部がショートしない一方で借りれるとしたらそれは人恋しくない fact16: もしとある物は浅黒くないとしたら「それは連対するし更に睦まじくない」ということは嘘である fact17: もしもその熱田支部は人恋しくないなら「その企業間連携はどす黒いということはないが浅黒い」ということは成り立たない fact18: この第二次世界大戦以後は一サービング分でないならば「分村計画でなくて更にそれは仕事運だ」ということは成り立たない
void -> assump1: 以下のように仮定する。「その企業間連携は自分越しでなくて著しかない」ということは誤りだ; fact4 & assump1 -> int1: その企業間連携は連対する; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: その企業間連携は自分越しでないしさらにそれは著しいということはない; int3 -> hypothesis;
あの企業自身は連対しない
fact23 -> int4: もし「あの企業自身は連対するがしかしそれは睦まじくない」ということは誤りならば連対しない; fact22 -> int5: もしあの企業自身は浅黒いということはないとすると「それは連対するけど睦まじくない」ということは間違いである; fact29 -> int6: 「あの後継者は御止めに成らない」ということは成り立てば「それはショートしないしその上それは成功し易い」ということは成り立つということはない; int6 & fact26 -> int7: 「あの後継者はショートするということはないがしかし成功し易い」ということは成り立たない; fact27 & int7 -> int8: その熱田支部はショートしない; fact24 -> int9: 仮に「この第二次世界大戦以後は分村計画だということはない一方で仕事運である」ということは間違っているなら仕事運でない;
$facts$ = fact1: もしも「その企業間連携はどす黒いということはない一方でそれは浅黒い」ということは偽だとするとあの企業自身は浅黒いということはない fact2: その企業間連携は連対しない fact3: 仮に「「あの後継者はショートしないがそれは成功し易い」ということは成り立たない」ということは成り立てばその熱田支部はショートしない fact4: 仮に「その企業間連携は自分越しでないし更に著しかない」ということは成り立たないとすれば連対する fact5: もしもこの第二次世界大戦以後が仕事運でないとすればその熱田支部は借りれるしまたそれは生育歴だ fact6: もし「とあるものは分村計画でないがしかし仕事運だ」ということは事実であるということはないならば仕事運でない fact7: この神田明神は連対しない fact8: もし仮に「何らかの物は連対するけど睦まじくない」ということは正しくないならば「連対するということはない」ということは成り立つ fact9: あの後継者は御止めに成らない fact10: もしその企業間連携が野暮ったいならば中だ fact11: この止血凝固検査は連対しない fact12: 「その企業間連携は自分越しでないけれど著しい」ということは成り立たない fact13: もし仮になんらかの物は御止めに成らないならば「ショートしないしそれは成功し易い」ということは成り立たない fact14: その企業間連携は著しかない fact15: その熱田支部がショートしない一方で借りれるとしたらそれは人恋しくない fact16: もしとある物は浅黒くないとしたら「それは連対するし更に睦まじくない」ということは嘘である fact17: もしもその熱田支部は人恋しくないなら「その企業間連携はどす黒いということはないが浅黒い」ということは成り立たない fact18: この第二次世界大戦以後は一サービング分でないならば「分村計画でなくて更にそれは仕事運だ」ということは成り立たない ; $hypothesis$ = その企業間連携は自分越しでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その企業間連携は自分越しでなくて著しかない」ということは誤りだ; fact4 & assump1 -> int1: その企業間連携は連対する; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: その企業間連携は自分越しでないしさらにそれは著しいということはない; int3 -> hypothesis; __PROVED__
事実1: もしも「その企業間連携はどす黒いということはない一方でそれは浅黒い」ということは偽だとするとあの企業自身は浅黒いということはない
事実2: その企業間連携は連対しない
事実3: 仮に「「あの後継者はショートしないがそれは成功し易い」ということは成り立たない」ということは成り立てばその熱田支部はショートしない
事実4: 仮に「その企業間連携は自分越しでないし更に著しかない」ということは成り立たないとすれば連対する
事実5: もしもこの第二次世界大戦以後が仕事運でないとすればその熱田支部は借りれるしまたそれは生育歴だ
事実6: もし「とあるものは分村計画でないがしかし仕事運だ」ということは事実であるということはないならば仕事運でない
事実7: この神田明神は連対しない
事実8: もし仮に「何らかの物は連対するけど睦まじくない」ということは正しくないならば「連対するということはない」ということは成り立つ
事実9: あの後継者は御止めに成らない
事実10: もしその企業間連携が野暮ったいならば中だ
事実11: この止血凝固検査は連対しない
事実12: 「その企業間連携は自分越しでないけれど著しい」ということは成り立たない
事実13: もし仮になんらかの物は御止めに成らないならば「ショートしないしそれは成功し易い」ということは成り立たない
事実14: その企業間連携は著しかない
事実15: その熱田支部がショートしない一方で借りれるとしたらそれは人恋しくない
事実16: もしとある物は浅黒くないとしたら「それは連対するし更に睦まじくない」ということは嘘である
事実17: もしもその熱田支部は人恋しくないなら「その企業間連携はどす黒いということはないが浅黒い」ということは成り立たない
事実18: この第二次世界大戦以後は一サービング分でないならば「分村計画でなくて更にそれは仕事運だ」ということは成り立たない

仮説: その企業間連携は自分越しでない
1. 仮定1: 以下のように仮定する。「その企業間連携は自分越しでなくて著しかない」ということは誤りだ
2. 事実4と仮定1から、推論1: "その企業間連携は連対する"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その企業間連携は自分越しでないしさらにそれは著しいということはない"が導かれる
5. 推論3から、仮説が導かれる

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