あのぽにぽねLv.36は生存し続けるということはない
fact1: もしもこのぷちゅぷいLv.77が程良いかもしくは差し出がましいかもしくは両方であるならあのぽにぽねLv.36は持続静注しない fact2: このぷちゅぷいLv.77は尊くてそれに程良い fact3: もし仮にこのぷちゅぷいLv.77が持続静注するとしたらあのぽにぽねLv.36は生存し続けない fact4: このぷちゅぷいLv.77は尊い fact5: もしあのぽにぽねLv.36が持続静注しないならばそれは生存し続けない fact6: あらゆるモンスターは尊い fact7: 「あるモンスターが程良いならそれは生存し続ける」ということは確かだ
fact2 -> int1: このぷちゅぷいLv.77は程良い; int1 -> int2: このぷちゅぷいLv.77は程良いかそれは差し出がましい; int2 & fact1 -> int3: あのぽにぽねLv.36は持続静注しない; int3 & fact5 -> hypothesis;
fact2 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {B}{a}); int2 & fact1 -> int3: ¬{C}{b}; int3 & fact5 -> hypothesis;
あのぽにぽねLv.36は生存し続ける
fact9 -> int4: もし仮に「あのぽにぽねLv.36は程良い」ということは成り立つとすれば生存し続ける; fact8 -> int5: このぷちゅぷいLv.77は尊い;
$facts$ = fact1: もしもこのぷちゅぷいLv.77が程良いかもしくは差し出がましいかもしくは両方であるならあのぽにぽねLv.36は持続静注しない fact2: このぷちゅぷいLv.77は尊くてそれに程良い fact3: もし仮にこのぷちゅぷいLv.77が持続静注するとしたらあのぽにぽねLv.36は生存し続けない fact4: このぷちゅぷいLv.77は尊い fact5: もしあのぽにぽねLv.36が持続静注しないならばそれは生存し続けない fact6: あらゆるモンスターは尊い fact7: 「あるモンスターが程良いならそれは生存し続ける」ということは確かだ ; $hypothesis$ = あのぽにぽねLv.36は生存し続けるということはない ; $proof$ = 
fact2 -> int1: このぷちゅぷいLv.77は程良い; int1 -> int2: このぷちゅぷいLv.77は程良いかそれは差し出がましい; int2 & fact1 -> int3: あのぽにぽねLv.36は持続静注しない; int3 & fact5 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {B}{a}); int2 & fact1 -> int3: ¬{C}{b}; int3 & fact5 -> hypothesis; __PROVED__