「あの子会社等は開胸するしまたそれは御送り下さる」ということは成り立たない
fact1: あの子会社等は御送り下さるししかもそれはしんどい fact2: あの子会社等は援助金であるししんどい fact3: もし仮にあのロジスティクス・マネジメントは乗り損なうとすると「この皇居内はしんどいということはなくてストレス・クリニックであるということはない」ということは偽だ fact4: もしも「「しんどいということはなくて更にストレス・クリニックだということはない」ということは偽な」物があるとしたらその作品数はしんどい fact5: もしも「ある物は両用タイプでないし乗り損なわない」ということは成り立つということはないとしたらそれは乗り損なう fact6: このＣＯイングはストレス・クリニックである fact7: あの子会社等は開胸するしストレス・クリニックだ fact8: それは両用タイプでないしまた乗り損なわないというものはない fact9: もし「「しんどい」ということは真実である」物があるとするとその雑魚は開胸するということはない
fact1 -> int1: あの子会社等は御送り下さる; fact7 -> int2: あの子会社等は開胸する; int1 & int2 -> hypothesis;
「あの子会社等は開胸するし加えて御送り下さる」ということは成り立たない
fact14 -> int3: 「あのロジスティクス・マネジメントは両用タイプでないしおまけに乗り損なわない」ということは成り立つということはないとしたら「それは乗り損なう」ということは事実だ; fact10 -> int4: 「あのロジスティクス・マネジメントは両用タイプでなくてそれは乗り損なわない」ということは成り立たない; int3 & int4 -> int5: あのロジスティクス・マネジメントは乗り損なう; fact11 & int5 -> int6: 「この皇居内はしんどかなくてまたそれはストレス・クリニックでない」ということは間違っている; int6 -> int7: 「「しんどいということはなくておまけにストレス・クリニックでない」ということは成り立たない」ものはある; int7 & fact13 -> int8: その作品数はしんどい; int8 -> int9: 「しんどい」ものはある; int9 & fact12 -> int10: その雑魚は開胸しない; int10 -> int11: 何らかの物は開胸しない;
$facts$ = fact1: あの子会社等は御送り下さるししかもそれはしんどい fact2: あの子会社等は援助金であるししんどい fact3: もし仮にあのロジスティクス・マネジメントは乗り損なうとすると「この皇居内はしんどいということはなくてストレス・クリニックであるということはない」ということは偽だ fact4: もしも「「しんどいということはなくて更にストレス・クリニックだということはない」ということは偽な」物があるとしたらその作品数はしんどい fact5: もしも「ある物は両用タイプでないし乗り損なわない」ということは成り立つということはないとしたらそれは乗り損なう fact6: このＣＯイングはストレス・クリニックである fact7: あの子会社等は開胸するしストレス・クリニックだ fact8: それは両用タイプでないしまた乗り損なわないというものはない fact9: もし「「しんどい」ということは真実である」物があるとするとその雑魚は開胸するということはない ; $hypothesis$ = 「あの子会社等は開胸するしまたそれは御送り下さる」ということは成り立たない ; $proof$ = 
fact1 -> int1: あの子会社等は御送り下さる; fact7 -> int2: あの子会社等は開胸する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの子会社等は御送り下さるししかもそれはしんどい
事実2: あの子会社等は援助金であるししんどい
事実3: もし仮にあのロジスティクス・マネジメントは乗り損なうとすると「この皇居内はしんどいということはなくてストレス・クリニックであるということはない」ということは偽だ
事実4: もしも「「しんどいということはなくて更にストレス・クリニックだということはない」ということは偽な」物があるとしたらその作品数はしんどい
事実5: もしも「ある物は両用タイプでないし乗り損なわない」ということは成り立つということはないとしたらそれは乗り損なう
事実6: このＣＯイングはストレス・クリニックである
事実7: あの子会社等は開胸するしストレス・クリニックだ
事実8: それは両用タイプでないしまた乗り損なわないというものはない
事実9: もし「「しんどい」ということは真実である」物があるとするとその雑魚は開胸するということはない

仮説: 「あの子会社等は開胸するしまたそれは御送り下さる」ということは成り立たない
1. 事実1から、推論1: "あの子会社等は御送り下さる"が導かれる
2. 事実7から、推論2: "あの子会社等は開胸する"が導かれる
3. 推論1と推論2から、仮説が否定される

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