「そのウオッカ・ベースは欠落しないけど呪詛する」ということは成り立たない
fact1: その鬼海星が強制移住しなくておまけに防水しないならばあの高架は安堵し難くない fact2: もし仮に「傷付け易い」ものがあるとするとそのウオッカ・ベースは欠落しない一方で呪詛する fact3: もし仮になにがしかのものは傷付け易いとしたら「「それは欠落するということはないけど呪詛する」ということは事実だ」ということは嘘だ fact4: とある物は傷付け易い fact5: もしも「あの高架は安堵し難くない」ということは本当だとするとそのウオッカ・ベースが傷付け易いしその上しゃあ無い fact6: あの高架が傷付け易いならばそのウオッカ・ベースは地中深くない一方でふらつく fact7: もしなにかは呪詛しないならば傷付け易いし欠落する fact8: そのウオッカ・ベースは呪詛する fact9: もしも何らかのものが傷付け易いならそのウオッカ・ベースは呪詛する
fact4 & fact2 -> hypothesis;
fact4 & fact2 -> hypothesis;
そのウオッカ・ベースは地中深くないがふらつく
fact10 -> int1: もしもあの高架が呪詛しないならば傷付け易いしさらに欠落する;
$facts$ = fact1: その鬼海星が強制移住しなくておまけに防水しないならばあの高架は安堵し難くない fact2: もし仮に「傷付け易い」ものがあるとするとそのウオッカ・ベースは欠落しない一方で呪詛する fact3: もし仮になにがしかのものは傷付け易いとしたら「「それは欠落するということはないけど呪詛する」ということは事実だ」ということは嘘だ fact4: とある物は傷付け易い fact5: もしも「あの高架は安堵し難くない」ということは本当だとするとそのウオッカ・ベースが傷付け易いしその上しゃあ無い fact6: あの高架が傷付け易いならばそのウオッカ・ベースは地中深くない一方でふらつく fact7: もしなにかは呪詛しないならば傷付け易いし欠落する fact8: そのウオッカ・ベースは呪詛する fact9: もしも何らかのものが傷付け易いならそのウオッカ・ベースは呪詛する ; $hypothesis$ = 「そのウオッカ・ベースは欠落しないけど呪詛する」ということは成り立たない ; $proof$ = 
fact4 & fact2 -> hypothesis; __DISPROVED__
事実1: その鬼海星が強制移住しなくておまけに防水しないならばあの高架は安堵し難くない
事実2: もし仮に「傷付け易い」ものがあるとするとそのウオッカ・ベースは欠落しない一方で呪詛する
事実3: もし仮になにがしかのものは傷付け易いとしたら「「それは欠落するということはないけど呪詛する」ということは事実だ」ということは嘘だ
事実4: とある物は傷付け易い
事実5: もしも「あの高架は安堵し難くない」ということは本当だとするとそのウオッカ・ベースが傷付け易いしその上しゃあ無い
事実6: あの高架が傷付け易いならばそのウオッカ・ベースは地中深くない一方でふらつく
事実7: もしなにかは呪詛しないならば傷付け易いし欠落する
事実8: そのウオッカ・ベースは呪詛する
事実9: もしも何らかのものが傷付け易いならそのウオッカ・ベースは呪詛する

仮説: 「そのウオッカ・ベースは欠落しないけど呪詛する」ということは成り立たない
1. 事実4と事実2から、仮説が否定される

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