そのコピュラ構造は先任でない
fact1: 何らかの物が足尾銅山であるということはないか保障するということはないとしたらそれは足尾銅山でない fact2: もしあのドレスアップは御江戸であるとすると「それは足尾銅山だ」ということは正しい fact3: 「もしもあのドレスアップが清しないし三箇月単位でないならばあの発達途上は先任だ」ということは成り立つ fact4: あの発達途上が歪むということはないがしかし清しならばあのドレスアップは三箇月単位である fact5: 「あの日本標準産業分類は御江戸でない」ということは成り立たないならば「あの発達途上は歪まなくてかつ清しない」ということは正しい fact6: 「あの日本標準産業分類が足尾銅山でないとしたらそのコピュラ構造は御江戸でない一方で三箇月単位である」ということは本当である fact7: あの発達途上は三箇月単位である fact8: もしあのドレスアップは御江戸であるとすればそれは三箇月単位である fact9: 仮にあのドレスアップが歪むならあの発達途上は足尾銅山だ fact10: もし仮にあの発達途上は歪まなくてかつ清しないならば「あのドレスアップは三箇月単位である」ということは本当である fact11: もしもあの発達途上は平均化時間でないとすれば「謙遜しないしかつ焦れる」ということは確かでない fact12: もしある物が御江戸でないが三箇月単位であるなら先任でない fact13: もし仮に「なんらかの物は三箇月単位でないが御江戸である」ということは事実と異なるとすると先任でない fact14: もしあの発達途上が御江戸ならばあの日本標準産業分類は清し fact15: あのドレスアップが足尾銅山だとするとそのコピュラ構造は先任である fact16: 三箇月単位は足尾銅山である fact17: セキュリティ管理は足尾銅山でないかもしくは保障しないか両方ともである fact18: あの発達途上は輝かしくないかもしくは平均化時間であるということはないかまたは両方ともである fact19: あの日本標準産業分類は清し fact20: あの発達途上は清しない fact21: 「あの発達途上は謙遜しないけどそれは焦れる」ということは成り立たないとするとそれは動かし難くない fact22: もしあの発達途上が輝かしくないかまたは平均化時間でないとしたらそれは平均化時間でない fact23: 「もしもあの日本標準産業分類が御江戸であるとしたらあの発達途上は清しない」ということは成り立つ fact24: あの日本標準産業分類は御江戸である
fact5 & fact24 -> int1: あの発達途上は歪まなくてまた清しということはない; int1 & fact10 -> int2: あのドレスアップは三箇月単位だ; fact16 -> int3: もし仮にあのドレスアップは三箇月単位であるならば足尾銅山である; int2 & int3 -> int4: あのドレスアップは足尾銅山である; int4 & fact15 -> hypothesis;
そのコピュラ構造は先任でない
fact30 -> int5: もしそのコピュラ構造が御江戸でないけれどそれが三箇月単位だとしたらそれは先任でない; fact28 -> int6: もしもあの日本標準産業分類が足尾銅山でないかまたはそれは保障しないかどちらもであるならば「足尾銅山でない」ということは本当である; fact27 -> int7: 仮にあの日本標準産業分類がセキュリティ管理だとすれば足尾銅山でないかまたは保障しないかどちらもである; fact26 & fact29 -> int8: 「あの発達途上は平均化時間でない」ということは間違いでない; fact25 & int8 -> int9: 「あの発達途上は謙遜しないけど焦れる」ということは成り立つということはない; fact31 & int9 -> int10: あの発達途上は動かし難くない; int10 -> int11: あるものは動かし難いということはない;
$facts$ = fact1: 何らかの物が足尾銅山であるということはないか保障するということはないとしたらそれは足尾銅山でない fact2: もしあのドレスアップは御江戸であるとすると「それは足尾銅山だ」ということは正しい fact3: 「もしもあのドレスアップが清しないし三箇月単位でないならばあの発達途上は先任だ」ということは成り立つ fact4: あの発達途上が歪むということはないがしかし清しならばあのドレスアップは三箇月単位である fact5: 「あの日本標準産業分類は御江戸でない」ということは成り立たないならば「あの発達途上は歪まなくてかつ清しない」ということは正しい fact6: 「あの日本標準産業分類が足尾銅山でないとしたらそのコピュラ構造は御江戸でない一方で三箇月単位である」ということは本当である fact7: あの発達途上は三箇月単位である fact8: もしあのドレスアップは御江戸であるとすればそれは三箇月単位である fact9: 仮にあのドレスアップが歪むならあの発達途上は足尾銅山だ fact10: もし仮にあの発達途上は歪まなくてかつ清しないならば「あのドレスアップは三箇月単位である」ということは本当である fact11: もしもあの発達途上は平均化時間でないとすれば「謙遜しないしかつ焦れる」ということは確かでない fact12: もしある物が御江戸でないが三箇月単位であるなら先任でない fact13: もし仮に「なんらかの物は三箇月単位でないが御江戸である」ということは事実と異なるとすると先任でない fact14: もしあの発達途上が御江戸ならばあの日本標準産業分類は清し fact15: あのドレスアップが足尾銅山だとするとそのコピュラ構造は先任である fact16: 三箇月単位は足尾銅山である fact17: セキュリティ管理は足尾銅山でないかもしくは保障しないか両方ともである fact18: あの発達途上は輝かしくないかもしくは平均化時間であるということはないかまたは両方ともである fact19: あの日本標準産業分類は清し fact20: あの発達途上は清しない fact21: 「あの発達途上は謙遜しないけどそれは焦れる」ということは成り立たないとするとそれは動かし難くない fact22: もしあの発達途上が輝かしくないかまたは平均化時間でないとしたらそれは平均化時間でない fact23: 「もしもあの日本標準産業分類が御江戸であるとしたらあの発達途上は清しない」ということは成り立つ fact24: あの日本標準産業分類は御江戸である ; $hypothesis$ = そのコピュラ構造は先任でない ; $proof$ = 
fact5 & fact24 -> int1: あの発達途上は歪まなくてまた清しということはない; int1 & fact10 -> int2: あのドレスアップは三箇月単位だ; fact16 -> int3: もし仮にあのドレスアップは三箇月単位であるならば足尾銅山である; int2 & int3 -> int4: あのドレスアップは足尾銅山である; int4 & fact15 -> hypothesis; __DISPROVED__
事実1: 何らかの物が足尾銅山であるということはないか保障するということはないとしたらそれは足尾銅山でない
事実2: もしあのドレスアップは御江戸であるとすると「それは足尾銅山だ」ということは正しい
事実3: 「もしもあのドレスアップが清しないし三箇月単位でないならばあの発達途上は先任だ」ということは成り立つ
事実4: あの発達途上が歪むということはないがしかし清しならばあのドレスアップは三箇月単位である
事実5: 「あの日本標準産業分類は御江戸でない」ということは成り立たないならば「あの発達途上は歪まなくてかつ清しない」ということは正しい
事実6: 「あの日本標準産業分類が足尾銅山でないとしたらそのコピュラ構造は御江戸でない一方で三箇月単位である」ということは本当である
事実7: あの発達途上は三箇月単位である
事実8: もしあのドレスアップは御江戸であるとすればそれは三箇月単位である
事実9: 仮にあのドレスアップが歪むならあの発達途上は足尾銅山だ
事実10: もし仮にあの発達途上は歪まなくてかつ清しないならば「あのドレスアップは三箇月単位である」ということは本当である
事実11: もしもあの発達途上は平均化時間でないとすれば「謙遜しないしかつ焦れる」ということは確かでない
事実12: もしある物が御江戸でないが三箇月単位であるなら先任でない
事実13: もし仮に「なんらかの物は三箇月単位でないが御江戸である」ということは事実と異なるとすると先任でない
事実14: もしあの発達途上が御江戸ならばあの日本標準産業分類は清し
事実15: あのドレスアップが足尾銅山だとするとそのコピュラ構造は先任である
事実16: 三箇月単位は足尾銅山である
事実17: セキュリティ管理は足尾銅山でないかもしくは保障しないか両方ともである
事実18: あの発達途上は輝かしくないかもしくは平均化時間であるということはないかまたは両方ともである
事実19: あの日本標準産業分類は清し
事実20: あの発達途上は清しない
事実21: 「あの発達途上は謙遜しないけどそれは焦れる」ということは成り立たないとするとそれは動かし難くない
事実22: もしあの発達途上が輝かしくないかまたは平均化時間でないとしたらそれは平均化時間でない
事実23: 「もしもあの日本標準産業分類が御江戸であるとしたらあの発達途上は清しない」ということは成り立つ
事実24: あの日本標準産業分類は御江戸である

仮説: そのコピュラ構造は先任でない
1. 事実5と事実24から、推論1: "あの発達途上は歪まなくてまた清しということはない"が導かれる
2. 推論1と事実10から、推論2: "あのドレスアップは三箇月単位だ"が導かれる
3. 事実16から、推論3: "もし仮にあのドレスアップは三箇月単位であるならば足尾銅山である"が導かれる
4. 推論2と推論3から、推論4: "あのドレスアップは足尾銅山である"が導かれる
5. 推論4と事実15から、仮説が否定される

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