「あるものはマウントしないがしかしそれは示現する」ということは成り立たない
fact1: 「何らかのものはマウントしない」ということは真実である fact2: この在韓被爆者は示現する fact3: もし仮にあの各村落が酸いとしたらこの在韓被爆者はマウントしないけれどそれは示現する fact4: あの各村落はマウントしない fact5: あの各村落は酸い fact6: もし仮にこの在韓被爆者が酸いとするとあの各村落は示現しないけれどマウントする fact7: 「マウントするしかつ示現する」ものはある fact8: その御膳立てはマウントしない fact9: 「なにかは猛虎魂でない一方で直径分布である」ということは成り立つ fact10: 「酸くない」ものはある fact11: あの各村落が酸いならこの在韓被爆者は示現する fact12: 酔い易い物はある fact13: 「あの各村落がマウントするとするとこの在韓被爆者は示現しない」ということは真実である fact14: なにがしかのものは酸いしその上マウントする fact15: 「「示現しない」ということは本当だということはない」ものはある fact16: あの各村落は示現するということはない
fact3 & fact5 -> int1: この在韓被爆者はマウントしない一方で示現する; int1 -> hypothesis;
$facts$ = fact1: 「何らかのものはマウントしない」ということは真実である fact2: この在韓被爆者は示現する fact3: もし仮にあの各村落が酸いとしたらこの在韓被爆者はマウントしないけれどそれは示現する fact4: あの各村落はマウントしない fact5: あの各村落は酸い fact6: もし仮にこの在韓被爆者が酸いとするとあの各村落は示現しないけれどマウントする fact7: 「マウントするしかつ示現する」ものはある fact8: その御膳立てはマウントしない fact9: 「なにかは猛虎魂でない一方で直径分布である」ということは成り立つ fact10: 「酸くない」ものはある fact11: あの各村落が酸いならこの在韓被爆者は示現する fact12: 酔い易い物はある fact13: 「あの各村落がマウントするとするとこの在韓被爆者は示現しない」ということは真実である fact14: なにがしかのものは酸いしその上マウントする fact15: 「「示現しない」ということは本当だということはない」ものはある fact16: あの各村落は示現するということはない ; $hypothesis$ = 「あるものはマウントしないがしかしそれは示現する」ということは成り立たない ; $proof$ = 
fact3 & fact5 -> int1: この在韓被爆者はマウントしない一方で示現する; int1 -> hypothesis; __DISPROVED__
事実1: 「何らかのものはマウントしない」ということは真実である
事実2: この在韓被爆者は示現する
事実3: もし仮にあの各村落が酸いとしたらこの在韓被爆者はマウントしないけれどそれは示現する
事実4: あの各村落はマウントしない
事実5: あの各村落は酸い
事実6: もし仮にこの在韓被爆者が酸いとするとあの各村落は示現しないけれどマウントする
事実7: 「マウントするしかつ示現する」ものはある
事実8: その御膳立てはマウントしない
事実9: 「なにかは猛虎魂でない一方で直径分布である」ということは成り立つ
事実10: 「酸くない」ものはある
事実11: あの各村落が酸いならこの在韓被爆者は示現する
事実12: 酔い易い物はある
事実13: 「あの各村落がマウントするとするとこの在韓被爆者は示現しない」ということは真実である
事実14: なにがしかのものは酸いしその上マウントする
事実15: 「「示現しない」ということは本当だということはない」ものはある
事実16: あの各村落は示現するということはない

仮説: 「あるものはマウントしないがしかしそれは示現する」ということは成り立たない
1. 事実3と事実5から、推論1: "この在韓被爆者はマウントしない一方で示現する"が導かれる
2. 推論1から、仮説が否定される

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