そのまわまやLv.32は壊れ易くない
fact1: 仮にあのぷわぷにゃLv.91は共存するなら「あのぷわぷにゃLv.91は壊れ易いけどそれは出来難くない」ということは偽だ fact2: もしもそのまわまやLv.32が完納するとすればそのまわまやLv.32は壊れ易い fact3: そのまわまやLv.32は共存するしそれは出来難い fact4: もし仮に「あのぷわぷにゃLv.91は壊れ易い一方で出来難くない」ということは成り立つということはないとしたらそのまわまやLv.32は壊れ易くない fact5: 仮にそのまわまやLv.32が共存するとすれば完納する
fact3 -> int1: そのまわまやLv.32は共存する; int1 & fact5 -> int2: そのまわまやLv.32は完納する; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
そのまわまやLv.32は壊れ易くない
$facts$ = fact1: 仮にあのぷわぷにゃLv.91は共存するなら「あのぷわぷにゃLv.91は壊れ易いけどそれは出来難くない」ということは偽だ fact2: もしもそのまわまやLv.32が完納するとすればそのまわまやLv.32は壊れ易い fact3: そのまわまやLv.32は共存するしそれは出来難い fact4: もし仮に「あのぷわぷにゃLv.91は壊れ易い一方で出来難くない」ということは成り立つということはないとしたらそのまわまやLv.32は壊れ易くない fact5: 仮にそのまわまやLv.32が共存するとすれば完納する ; $hypothesis$ = そのまわまやLv.32は壊れ易くない ; $proof$ = 
fact3 -> int1: そのまわまやLv.32は共存する; int1 & fact5 -> int2: そのまわまやLv.32は完納する; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __DISPROVED__