あの競争的優位性は情けなくない
fact1: 仮にあの競争的優位性はしがないということはないとすると「そのＥＵ加盟国は避け難いけど四論文でない」ということは本当である fact2: 「そのＥＵ加盟国は避け難いがそれは見え隠れするということはない」ということは嘘だ fact3: 「そのＥＵ加盟国は避け難いがしかし四論文でない」ということは間違っている fact4: もし「なんらかの物はしがなくないけど避け難い」ということは成り立たないならばそれはしがない fact5: もしも何かは四論文でないとすれば「しがなくなくてかつそれは避け難い」ということは成り立たない fact6: もし仮にそのＥＵ加盟国がしがないかあるいは見え隠れしないならあの競争的優位性は情けなくない fact7: もし仮に「あの競争的優位性は見え隠れするけどしがなくない」ということは間違っているとすれば「情けない」ということは誤りでない
void -> assump1: 以下のように仮定する。あの競争的優位性は見え隠れするがしがなくない; assump1 -> int1: 「あの競争的優位性はしがないということはない」ということは本当である; int1 & fact1 -> int2: そのＥＵ加盟国は避け難い一方で四論文でない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの競争的優位性は見え隠れするがしがなくない」ということは誤っている; int4 & fact7 -> hypothesis;
あの競争的優位性は情けなくない
fact9 -> int5: 「その橋軸方向解析はしがないということはない一方で避け難い」ということは成り立たないとすればしがない; fact8 -> int6: もし仮にこの橋軸方向解析は四論文でないとすれば「しがなくなくてかつ避け難い」ということは偽だ;
$facts$ = fact1: 仮にあの競争的優位性はしがないということはないとすると「そのＥＵ加盟国は避け難いけど四論文でない」ということは本当である fact2: 「そのＥＵ加盟国は避け難いがそれは見え隠れするということはない」ということは嘘だ fact3: 「そのＥＵ加盟国は避け難いがしかし四論文でない」ということは間違っている fact4: もし「なんらかの物はしがなくないけど避け難い」ということは成り立たないならばそれはしがない fact5: もしも何かは四論文でないとすれば「しがなくなくてかつそれは避け難い」ということは成り立たない fact6: もし仮にそのＥＵ加盟国がしがないかあるいは見え隠れしないならあの競争的優位性は情けなくない fact7: もし仮に「あの競争的優位性は見え隠れするけどしがなくない」ということは間違っているとすれば「情けない」ということは誤りでない ; $hypothesis$ = あの競争的優位性は情けなくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの競争的優位性は見え隠れするがしがなくない; assump1 -> int1: 「あの競争的優位性はしがないということはない」ということは本当である; int1 & fact1 -> int2: そのＥＵ加盟国は避け難い一方で四論文でない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの競争的優位性は見え隠れするがしがなくない」ということは誤っている; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮にあの競争的優位性はしがないということはないとすると「そのＥＵ加盟国は避け難いけど四論文でない」ということは本当である
事実2: 「そのＥＵ加盟国は避け難いがそれは見え隠れするということはない」ということは嘘だ
事実3: 「そのＥＵ加盟国は避け難いがしかし四論文でない」ということは間違っている
事実4: もし「なんらかの物はしがなくないけど避け難い」ということは成り立たないならばそれはしがない
事実5: もしも何かは四論文でないとすれば「しがなくなくてかつそれは避け難い」ということは成り立たない
事実6: もし仮にそのＥＵ加盟国がしがないかあるいは見え隠れしないならあの競争的優位性は情けなくない
事実7: もし仮に「あの競争的優位性は見え隠れするけどしがなくない」ということは間違っているとすれば「情けない」ということは誤りでない

仮説: あの競争的優位性は情けなくない
1. 仮定1: 以下のように仮定する。あの競争的優位性は見え隠れするがしがなくない
2. 仮定1から、推論1: "「あの競争的優位性はしがないということはない」ということは本当である"が導かれる
3. 推論1と事実1から、推論2: "そのＥＵ加盟国は避け難い一方で四論文でない"が導かれる
4. 推論2と事実3から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの競争的優位性は見え隠れするがしがなくない」ということは誤っている"が導かれる
6. 推論4と事実7から、仮説が否定される

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