この二排出量は想像付かないけれどそれは開発中である
fact1: 「発達水準である」物はあるとしたら「「この二排出量は想像付かないがしかし開発中だ」ということは成り立つ」ということは事実でない fact2: 「その数時間後は使用し易くないし加えて遠征しない」ということは誤っているとすると「そのエネルギーコストは発達水準である」ということは真実である fact3: それは使用し易いということはなくて遠征するということはないというものはない
fact3 -> int1: 「その数時間後は使用し易くないし遠征しない」ということは偽である; int1 & fact2 -> int2: そのエネルギーコストは発達水準だ; int2 -> int3: 「発達水準である」ものはある; int3 & fact1 -> hypothesis;
$facts$ = fact1: 「発達水準である」物はあるとしたら「「この二排出量は想像付かないがしかし開発中だ」ということは成り立つ」ということは事実でない fact2: 「その数時間後は使用し易くないし加えて遠征しない」ということは誤っているとすると「そのエネルギーコストは発達水準である」ということは真実である fact3: それは使用し易いということはなくて遠征するということはないというものはない ; $hypothesis$ = この二排出量は想像付かないけれどそれは開発中である ; $proof$ = 
fact3 -> int1: 「その数時間後は使用し易くないし遠征しない」ということは偽である; int1 & fact2 -> int2: そのエネルギーコストは発達水準だ; int2 -> int3: 「発達水準である」ものはある; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: 「発達水準である」物はあるとしたら「「この二排出量は想像付かないがしかし開発中だ」ということは成り立つ」ということは事実でない
事実2: 「その数時間後は使用し易くないし加えて遠征しない」ということは誤っているとすると「そのエネルギーコストは発達水準である」ということは真実である
事実3: それは使用し易いということはなくて遠征するということはないというものはない

仮説: この二排出量は想像付かないけれどそれは開発中である
1. 事実3から、推論1: "「その数時間後は使用し易くないし遠征しない」ということは偽である"が導かれる
2. 推論1と事実2から、推論2: "そのエネルギーコストは発達水準だ"が導かれる
3. 推論2から、推論3: "「発達水準である」ものはある"が導かれる
4. 推論3と事実1から、仮説が否定される

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