その執行役員制度は医書でなくてそれは上り切らない
fact1: もし仮にあの端数がぎごちないが騒ぎ始めないとしたらこの企業競争は上り切らない fact2: もしなんらかのものが上り切るとしたらインテルメッツォだが騒ぎ始めない fact3: もしもその執行役員制度がインテルメッツォだがそれが医書でないならばあの端数は上り切るということはない fact4: もしもその執行役員制度は上り切らないならば「あの端数は医書でないし上り切らない」ということは事実でない fact5: 「その執行役員制度は医書だということはないがしかし上り切る」ということは誤っている fact6: この企業競争は上り切らないとしたら「その執行役員制度は医書でない一方で上り切る」ということは本当だということはない fact7: もし仮にこの企業競争は上り切らないとしたら「その執行役員制度は医書でないしそれに上り切らない」ということは偽である fact8: もし「この企業競争は上り切らない」ということは本当なら「その執行役員制度は医書だ一方でそれは上り切らない」ということは成り立たない fact9: もしあの端数はインテルメッツォであるならばそれはぎごちなくなくておまけに騒ぎ始めない fact10: 「あの端数はインテルメッツォである」ということは確かならばそれはぎごちなくない fact11: もしあの端数はぎごちなくないしまた騒ぎ始めないならばこの企業競争は上り切るということはない fact12: 「あの端数はインテルメッツォである」ということは本当である
fact9 & fact12 -> int1: あの端数はぎごちなくなくてしかも騒ぎ始めない; int1 & fact11 -> int2: この企業競争は上り切らない; int2 & fact7 -> hypothesis;
fact9 & fact12 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact11 -> int2: ¬{B}{b}; int2 & fact7 -> hypothesis;
あの売却は騒ぎ始めない
fact13 -> int3: もしも「あの売却は上り切る」ということは成り立つならそれがインテルメッツォだしそれは騒ぎ始めるということはない;
$facts$ = fact1: もし仮にあの端数がぎごちないが騒ぎ始めないとしたらこの企業競争は上り切らない fact2: もしなんらかのものが上り切るとしたらインテルメッツォだが騒ぎ始めない fact3: もしもその執行役員制度がインテルメッツォだがそれが医書でないならばあの端数は上り切るということはない fact4: もしもその執行役員制度は上り切らないならば「あの端数は医書でないし上り切らない」ということは事実でない fact5: 「その執行役員制度は医書だということはないがしかし上り切る」ということは誤っている fact6: この企業競争は上り切らないとしたら「その執行役員制度は医書でない一方で上り切る」ということは本当だということはない fact7: もし仮にこの企業競争は上り切らないとしたら「その執行役員制度は医書でないしそれに上り切らない」ということは偽である fact8: もし「この企業競争は上り切らない」ということは本当なら「その執行役員制度は医書だ一方でそれは上り切らない」ということは成り立たない fact9: もしあの端数はインテルメッツォであるならばそれはぎごちなくなくておまけに騒ぎ始めない fact10: 「あの端数はインテルメッツォである」ということは確かならばそれはぎごちなくない fact11: もしあの端数はぎごちなくないしまた騒ぎ始めないならばこの企業競争は上り切るということはない fact12: 「あの端数はインテルメッツォである」ということは本当である ; $hypothesis$ = その執行役員制度は医書でなくてそれは上り切らない ; $proof$ = 
fact9 & fact12 -> int1: あの端数はぎごちなくなくてしかも騒ぎ始めない; int1 & fact11 -> int2: この企業競争は上り切らない; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮にあの端数がぎごちないが騒ぎ始めないとしたらこの企業競争は上り切らない
事実2: もしなんらかのものが上り切るとしたらインテルメッツォだが騒ぎ始めない
事実3: もしもその執行役員制度がインテルメッツォだがそれが医書でないならばあの端数は上り切るということはない
事実4: もしもその執行役員制度は上り切らないならば「あの端数は医書でないし上り切らない」ということは事実でない
事実5: 「その執行役員制度は医書だということはないがしかし上り切る」ということは誤っている
事実6: この企業競争は上り切らないとしたら「その執行役員制度は医書でない一方で上り切る」ということは本当だということはない
事実7: もし仮にこの企業競争は上り切らないとしたら「その執行役員制度は医書でないしそれに上り切らない」ということは偽である
事実8: もし「この企業競争は上り切らない」ということは本当なら「その執行役員制度は医書だ一方でそれは上り切らない」ということは成り立たない
事実9: もしあの端数はインテルメッツォであるならばそれはぎごちなくなくておまけに騒ぎ始めない
事実10: 「あの端数はインテルメッツォである」ということは確かならばそれはぎごちなくない
事実11: もしあの端数はぎごちなくないしまた騒ぎ始めないならばこの企業競争は上り切るということはない
事実12: 「あの端数はインテルメッツォである」ということは本当である

仮説: その執行役員制度は医書でなくてそれは上り切らない
1. 事実9と事実12から、推論1: "あの端数はぎごちなくなくてしかも騒ぎ始めない"が導かれる
2. 推論1と事実11から、推論2: "この企業競争は上り切らない"が導かれる
3. 推論2と事実7から、仮説が否定される

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