あの店頭サービスは閉店しない
fact1: 仮に「「主稈葉数だけれど個別支援でない」ということは誤りな」ものがあるとしたらそのグローバルスタンダードは導入出来る fact2: 「「鉱業権だし更にスクラップしない」ということは成り立たない」物はある fact3: 「そのグローバルスタンダードは青黒いしさらにスクラップする」ということは偽であるならばこの完成工事総利益は青黒くない fact4: 「「導入出来るしまた捗々しい」ということは間違いである」ものはある fact5: もしもあの蔬菜が捗々しいがしかし導入出来ないならあの店頭サービスは青黒い fact6: もし何らかのものが導入出来るとすれば個別支援であるかあるいは閉店しないかまたは両方ともである fact7: 仮にこの完成工事総利益が輝かしいということはないかまたは主稈葉数であるかもしくは両方ともであるならばそのグローバルスタンダードは個別支援であるということはない fact8: 仮になにがしかの物が個別支援であるか閉店しないかまたはどちらもならばそれは閉店するということはない fact9: 「あるものは輝かしくないか主稈葉数であるかあるいは両方である」ということは誤りであるとしたら「導入出来ない」ということは事実である fact10: なんらかの物が青黒いとしたら閉店する fact11: もし仮に「「鉱業権であるがしかしスクラップしない」ということは成り立たない」ものがあるならそのグローバルスタンダードは個別支援である fact12: もしこの完成工事総利益は導入出来ないならば「あの蔬菜は捗々しいけれど導入出来ない」ということは成り立つ fact13: もし仮にとあるものは青黒くないとしたら「導入出来なくてまたそれは個別支援である」ということは本当でない fact14: 仮にそのグローバルスタンダードが捗々しくないとするとあの蔬菜は個別支援でない
void -> assump1: 以下のように仮定する。この完成工事総利益は輝かしくないかもしくは主稈葉数であるかもしくは両方である; fact7 & assump1 -> int1: そのグローバルスタンダードは個別支援でない; fact11 & fact2 -> int2: 「そのグローバルスタンダードは個別支援である」ということは正しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「この完成工事総利益は輝かしくないかあるいはそれは主稈葉数である」ということは嘘である」ということは事実である; fact9 -> int5: もしも「この完成工事総利益は輝かしくないかあるいは主稈葉数であるかどちらもだ」ということは誤っているなら導入出来ない; int4 & int5 -> int6: この完成工事総利益は導入出来ない; int6 & fact12 -> int7: あの蔬菜は捗々しいけれどそれは導入出来ない; int7 & fact5 -> int8: あの店頭サービスは青黒い; fact10 -> int9: 仮にあの店頭サービスが青黒いならそれは閉店する; int8 & int9 -> hypothesis;
あの店頭サービスは閉店しない
fact16 -> int10: 仮にあの店頭サービスが個別支援であるかもしくはそれは閉店しないかあるいは両方ならそれは閉店しない; fact15 -> int11: あの店頭サービスが導入出来るならそれは個別支援であるか閉店しない;
$facts$ = fact1: 仮に「「主稈葉数だけれど個別支援でない」ということは誤りな」ものがあるとしたらそのグローバルスタンダードは導入出来る fact2: 「「鉱業権だし更にスクラップしない」ということは成り立たない」物はある fact3: 「そのグローバルスタンダードは青黒いしさらにスクラップする」ということは偽であるならばこの完成工事総利益は青黒くない fact4: 「「導入出来るしまた捗々しい」ということは間違いである」ものはある fact5: もしもあの蔬菜が捗々しいがしかし導入出来ないならあの店頭サービスは青黒い fact6: もし何らかのものが導入出来るとすれば個別支援であるかあるいは閉店しないかまたは両方ともである fact7: 仮にこの完成工事総利益が輝かしいということはないかまたは主稈葉数であるかもしくは両方ともであるならばそのグローバルスタンダードは個別支援であるということはない fact8: 仮になにがしかの物が個別支援であるか閉店しないかまたはどちらもならばそれは閉店するということはない fact9: 「あるものは輝かしくないか主稈葉数であるかあるいは両方である」ということは誤りであるとしたら「導入出来ない」ということは事実である fact10: なんらかの物が青黒いとしたら閉店する fact11: もし仮に「「鉱業権であるがしかしスクラップしない」ということは成り立たない」ものがあるならそのグローバルスタンダードは個別支援である fact12: もしこの完成工事総利益は導入出来ないならば「あの蔬菜は捗々しいけれど導入出来ない」ということは成り立つ fact13: もし仮にとあるものは青黒くないとしたら「導入出来なくてまたそれは個別支援である」ということは本当でない fact14: 仮にそのグローバルスタンダードが捗々しくないとするとあの蔬菜は個別支援でない ; $hypothesis$ = あの店頭サービスは閉店しない ; $proof$ = 
void -> assump1: 以下のように仮定する。この完成工事総利益は輝かしくないかもしくは主稈葉数であるかもしくは両方である; fact7 & assump1 -> int1: そのグローバルスタンダードは個別支援でない; fact11 & fact2 -> int2: 「そのグローバルスタンダードは個別支援である」ということは正しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「この完成工事総利益は輝かしくないかあるいはそれは主稈葉数である」ということは嘘である」ということは事実である; fact9 -> int5: もしも「この完成工事総利益は輝かしくないかあるいは主稈葉数であるかどちらもだ」ということは誤っているなら導入出来ない; int4 & int5 -> int6: この完成工事総利益は導入出来ない; int6 & fact12 -> int7: あの蔬菜は捗々しいけれどそれは導入出来ない; int7 & fact5 -> int8: あの店頭サービスは青黒い; fact10 -> int9: 仮にあの店頭サービスが青黒いならそれは閉店する; int8 & int9 -> hypothesis; __DISPROVED__
事実1: 仮に「「主稈葉数だけれど個別支援でない」ということは誤りな」ものがあるとしたらそのグローバルスタンダードは導入出来る
事実2: 「「鉱業権だし更にスクラップしない」ということは成り立たない」物はある
事実3: 「そのグローバルスタンダードは青黒いしさらにスクラップする」ということは偽であるならばこの完成工事総利益は青黒くない
事実4: 「「導入出来るしまた捗々しい」ということは間違いである」ものはある
事実5: もしもあの蔬菜が捗々しいがしかし導入出来ないならあの店頭サービスは青黒い
事実6: もし何らかのものが導入出来るとすれば個別支援であるかあるいは閉店しないかまたは両方ともである
事実7: 仮にこの完成工事総利益が輝かしいということはないかまたは主稈葉数であるかもしくは両方ともであるならばそのグローバルスタンダードは個別支援であるということはない
事実8: 仮になにがしかの物が個別支援であるか閉店しないかまたはどちらもならばそれは閉店するということはない
事実9: 「あるものは輝かしくないか主稈葉数であるかあるいは両方である」ということは誤りであるとしたら「導入出来ない」ということは事実である
事実10: なんらかの物が青黒いとしたら閉店する
事実11: もし仮に「「鉱業権であるがしかしスクラップしない」ということは成り立たない」ものがあるならそのグローバルスタンダードは個別支援である
事実12: もしこの完成工事総利益は導入出来ないならば「あの蔬菜は捗々しいけれど導入出来ない」ということは成り立つ
事実13: もし仮にとあるものは青黒くないとしたら「導入出来なくてまたそれは個別支援である」ということは本当でない
事実14: 仮にそのグローバルスタンダードが捗々しくないとするとあの蔬菜は個別支援でない

仮説: あの店頭サービスは閉店しない
1. 仮定1: 以下のように仮定する。この完成工事総利益は輝かしくないかもしくは主稈葉数であるかもしくは両方である
2. 事実7と仮定1から、推論1: "そのグローバルスタンダードは個別支援でない"が導かれる
3. 事実11と事実2から、推論2: "「そのグローバルスタンダードは個別支援である」ということは正しい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「「この完成工事総利益は輝かしくないかあるいはそれは主稈葉数である」ということは嘘である」ということは事実である"が導かれる
6. 事実9から、推論5: "もしも「この完成工事総利益は輝かしくないかあるいは主稈葉数であるかどちらもだ」ということは誤っているなら導入出来ない"が導かれる
7. 推論4と推論5から、推論6: "この完成工事総利益は導入出来ない"が導かれる
8. 推論6と事実12から、推論7: "あの蔬菜は捗々しいけれどそれは導入出来ない"が導かれる
9. 推論7と事実5から、推論8: "あの店頭サービスは青黒い"が導かれる
10. 事実10から、推論9: "仮にあの店頭サービスが青黒いならそれは閉店する"が導かれる
11. 推論8と推論9から、仮説が否定される

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