「このぴねぴのLv.59は苛々し易いししかもそれは成り難い」ということは嘘である
fact1: あのみくみにゃLv.13は成り難いしかつそれは立て難い fact2: 「このぴねぴのLv.59は成り難い」ということは確かである fact3: 「とあるモンスターは思慮深くない」ということは事実なら「それは苛々し易いし更に成り難い」ということは真実でない fact4: 思慮深いモンスターは利き難い fact5: 仮にこのぴねぴのLv.59が思慮深いとすればこのぴねぴのLv.59は分解され難い fact6: このぴねぴのLv.59は思慮深い fact7: 仮にこのぴねぴのLv.59が分解され難いとしたらそれは苛々し易い
fact5 & fact6 -> int1: このぴねぴのLv.59は分解され難い; int1 & fact7 -> int2: このぴねぴのLv.59は苛々し易い; int2 & fact2 -> hypothesis;
fact5 & fact6 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
このぷなぷわLv.92は利き難くてそれは分散化する
fact8 -> int3: もしこのぷなぷわLv.92が思慮深いとしたらそれは利き難い;
$facts$ = fact1: あのみくみにゃLv.13は成り難いしかつそれは立て難い fact2: 「このぴねぴのLv.59は成り難い」ということは確かである fact3: 「とあるモンスターは思慮深くない」ということは事実なら「それは苛々し易いし更に成り難い」ということは真実でない fact4: 思慮深いモンスターは利き難い fact5: 仮にこのぴねぴのLv.59が思慮深いとすればこのぴねぴのLv.59は分解され難い fact6: このぴねぴのLv.59は思慮深い fact7: 仮にこのぴねぴのLv.59が分解され難いとしたらそれは苛々し易い ; $hypothesis$ = 「このぴねぴのLv.59は苛々し易いししかもそれは成り難い」ということは嘘である ; $proof$ = 
fact5 & fact6 -> int1: このぴねぴのLv.59は分解され難い; int1 & fact7 -> int2: このぴねぴのLv.59は苛々し易い; int2 & fact2 -> hypothesis; __DISPROVED__
fact5 & fact6 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __DISPROVED__