あの木炭車は黒しということはない
fact1: 仮にこのサイドステップが棄権でないとしたらあのＭＴＣは拡大し続けるししかもそれは入れ難い fact2: 仮に何らかの物が拡大し続けるなら棄権である fact3: あの木炭車は行政権である fact4: あの運用資産は行政権だ fact5: あの木炭車は対象企業だ fact6: もしもなにかは賛成し難くないなら「棄権で止み難い」ということは成り立たない fact7: もし仮に何かは入れ難くないならば「分解され難いし加えてそれは黒しない」ということは誤りだ fact8: もし「あの木炭車は入れ難いがしかしそれは棄権でない」ということは成り立たないとしたら「それは入れ難くない」ということは正しい fact9: もしも何かは分解され難いしかつ行政権であるとしたら黒しない fact10: 「あのＭＴＣは拡大し続ける」ということは成り立つ fact11: 全てのものは賛成し難くない fact12: もしもその実務担当者は薄っぺらいしそれに行政権だとしたら「それは御見舞いしない」ということは確かである fact13: あの木炭車は分解され難い
fact13 & fact3 -> int1: あの木炭車は分解され難いしその上それは行政権だ; fact9 -> int2: もし仮にあの木炭車は分解され難くておまけに行政権であるとしたら黒しない; int1 & int2 -> hypothesis;
あの木炭車は黒し
fact15 -> int3: その紛争解決契約は賛成し難くないなら「棄権でそれは止み難い」ということは偽だ; fact14 -> int4: その紛争解決契約は賛成し難くない; int3 & int4 -> int5: 「「その紛争解決契約は棄権だし更に止み難い」ということは事実である」ということは成り立たない; int5 -> int6: 棄権であるしかつ止み難いという物はない; int6 -> int7: 「その当初計画は棄権であるし更にそれは止み難い」ということは成り立たない;
$facts$ = fact1: 仮にこのサイドステップが棄権でないとしたらあのＭＴＣは拡大し続けるししかもそれは入れ難い fact2: 仮に何らかの物が拡大し続けるなら棄権である fact3: あの木炭車は行政権である fact4: あの運用資産は行政権だ fact5: あの木炭車は対象企業だ fact6: もしもなにかは賛成し難くないなら「棄権で止み難い」ということは成り立たない fact7: もし仮に何かは入れ難くないならば「分解され難いし加えてそれは黒しない」ということは誤りだ fact8: もし「あの木炭車は入れ難いがしかしそれは棄権でない」ということは成り立たないとしたら「それは入れ難くない」ということは正しい fact9: もしも何かは分解され難いしかつ行政権であるとしたら黒しない fact10: 「あのＭＴＣは拡大し続ける」ということは成り立つ fact11: 全てのものは賛成し難くない fact12: もしもその実務担当者は薄っぺらいしそれに行政権だとしたら「それは御見舞いしない」ということは確かである fact13: あの木炭車は分解され難い ; $hypothesis$ = あの木炭車は黒しということはない ; $proof$ = 
fact13 & fact3 -> int1: あの木炭車は分解され難いしその上それは行政権だ; fact9 -> int2: もし仮にあの木炭車は分解され難くておまけに行政権であるとしたら黒しない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にこのサイドステップが棄権でないとしたらあのＭＴＣは拡大し続けるししかもそれは入れ難い
事実2: 仮に何らかの物が拡大し続けるなら棄権である
事実3: あの木炭車は行政権である
事実4: あの運用資産は行政権だ
事実5: あの木炭車は対象企業だ
事実6: もしもなにかは賛成し難くないなら「棄権で止み難い」ということは成り立たない
事実7: もし仮に何かは入れ難くないならば「分解され難いし加えてそれは黒しない」ということは誤りだ
事実8: もし「あの木炭車は入れ難いがしかしそれは棄権でない」ということは成り立たないとしたら「それは入れ難くない」ということは正しい
事実9: もしも何かは分解され難いしかつ行政権であるとしたら黒しない
事実10: 「あのＭＴＣは拡大し続ける」ということは成り立つ
事実11: 全てのものは賛成し難くない
事実12: もしもその実務担当者は薄っぺらいしそれに行政権だとしたら「それは御見舞いしない」ということは確かである
事実13: あの木炭車は分解され難い

仮説: あの木炭車は黒しということはない
1. 事実13と事実3から、推論1: "あの木炭車は分解され難いしその上それは行政権だ"が導かれる
2. 事実9から、推論2: "もし仮にあの木炭車は分解され難くておまけに行政権であるとしたら黒しない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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