「この靴音は成立し難い一方で資金使途でない」ということは成り立たない
fact1: もし仮に何らかのものが思い描かないけれどそれが埃っぽいとしたらそれはコーディネイトする fact2: あの五百二十万人は双臀である fact3: あの五百二十万人が成立し難いとするとこの靴音はコーディネイトしない fact4: あの五百二十万人はコーディネイトする fact5: そのキャメラ・オブスキュラはコーディネイトする fact6: この靴音はコーディネイトするがそれは資金使途でない fact7: もしもこの靴音がコーディネイトするとすればあの五百二十万人は成立し難くない fact8: あの外貨建ては成立し難くない fact9: この靴音はなあい fact10: もし仮にあの五百二十万人が資金使途であるとすればこの靴音はコーディネイトしない fact11: 仮にあの五百二十万人がコーディネイトするならこの靴音は成立し難いけれど資金使途でない fact12: その目板は行い易いけれどコーディネイトしない fact13: もしもあの五百二十万人が成立し難いとしたらこの靴音はコーディネイトするがしかし資金使途でない fact14: もしもあの五百二十万人がコーディネイトするならばあの靴音は資金使途であるということはない
fact11 & fact4 -> hypothesis;
fact11 & fact4 -> hypothesis;
「この靴音は成立し難いがしかし資金使途でない」ということは偽である
fact15 -> int1: もし仮にこの靴音が思い描かないがしかし埃っぽいとするとそれはコーディネイトする;
$facts$ = fact1: もし仮に何らかのものが思い描かないけれどそれが埃っぽいとしたらそれはコーディネイトする fact2: あの五百二十万人は双臀である fact3: あの五百二十万人が成立し難いとするとこの靴音はコーディネイトしない fact4: あの五百二十万人はコーディネイトする fact5: そのキャメラ・オブスキュラはコーディネイトする fact6: この靴音はコーディネイトするがそれは資金使途でない fact7: もしもこの靴音がコーディネイトするとすればあの五百二十万人は成立し難くない fact8: あの外貨建ては成立し難くない fact9: この靴音はなあい fact10: もし仮にあの五百二十万人が資金使途であるとすればこの靴音はコーディネイトしない fact11: 仮にあの五百二十万人がコーディネイトするならこの靴音は成立し難いけれど資金使途でない fact12: その目板は行い易いけれどコーディネイトしない fact13: もしもあの五百二十万人が成立し難いとしたらこの靴音はコーディネイトするがしかし資金使途でない fact14: もしもあの五百二十万人がコーディネイトするならばあの靴音は資金使途であるということはない ; $hypothesis$ = 「この靴音は成立し難い一方で資金使途でない」ということは成り立たない ; $proof$ = 
fact11 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかのものが思い描かないけれどそれが埃っぽいとしたらそれはコーディネイトする
事実2: あの五百二十万人は双臀である
事実3: あの五百二十万人が成立し難いとするとこの靴音はコーディネイトしない
事実4: あの五百二十万人はコーディネイトする
事実5: そのキャメラ・オブスキュラはコーディネイトする
事実6: この靴音はコーディネイトするがそれは資金使途でない
事実7: もしもこの靴音がコーディネイトするとすればあの五百二十万人は成立し難くない
事実8: あの外貨建ては成立し難くない
事実9: この靴音はなあい
事実10: もし仮にあの五百二十万人が資金使途であるとすればこの靴音はコーディネイトしない
事実11: 仮にあの五百二十万人がコーディネイトするならこの靴音は成立し難いけれど資金使途でない
事実12: その目板は行い易いけれどコーディネイトしない
事実13: もしもあの五百二十万人が成立し難いとしたらこの靴音はコーディネイトするがしかし資金使途でない
事実14: もしもあの五百二十万人がコーディネイトするならばあの靴音は資金使途であるということはない

仮説: 「この靴音は成立し難い一方で資金使途でない」ということは成り立たない
1. 事実11と事実4から、仮説が否定される

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