この夜景はダウンロード出来る
fact1: もし仮に「あの間仕切り壁間柱材は売り上げ情報だが上り尽くさない」ということは間違っているとすると「この非常電源設備は地方卸売り市場でない」ということは事実である fact2: この非常電源設備が上り尽くすかまたはそれが売り上げ情報であるかもしくは両方ともであるとすればあの夜景はダウンロード出来ない fact3: この非常電源設備は地方卸売り市場でない一方でそれは上り尽くす
fact3 -> int1: この非常電源設備は上り尽くす; int1 -> int2: この非常電源設備は上り尽くすかもしくは売り上げ情報である; int2 & fact2 -> hypothesis;
「この夜景はダウンロード出来る」ということは本当である
$facts$ = fact1: もし仮に「あの間仕切り壁間柱材は売り上げ情報だが上り尽くさない」ということは間違っているとすると「この非常電源設備は地方卸売り市場でない」ということは事実である fact2: この非常電源設備が上り尽くすかまたはそれが売り上げ情報であるかもしくは両方ともであるとすればあの夜景はダウンロード出来ない fact3: この非常電源設備は地方卸売り市場でない一方でそれは上り尽くす ; $hypothesis$ = この夜景はダウンロード出来る ; $proof$ = 
fact3 -> int1: この非常電源設備は上り尽くす; int1 -> int2: この非常電源設備は上り尽くすかもしくは売り上げ情報である; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの間仕切り壁間柱材は売り上げ情報だが上り尽くさない」ということは間違っているとすると「この非常電源設備は地方卸売り市場でない」ということは事実である
事実2: この非常電源設備が上り尽くすかまたはそれが売り上げ情報であるかもしくは両方ともであるとすればあの夜景はダウンロード出来ない
事実3: この非常電源設備は地方卸売り市場でない一方でそれは上り尽くす

仮説: この夜景はダウンロード出来る
1. 事実3から、推論1: "この非常電源設備は上り尽くす"が導かれる
2. 推論1から、推論2: "この非常電源設備は上り尽くすかもしくは売り上げ情報である"が導かれる
3. 推論2と事実2から、仮説が否定される

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