このまにゃまねLv.41は耐性化する
fact1: もしもあのぽにゃぽにゃLv.93が潔しかそれが他愛無いということはないかもしくはどちらもであるならばあのぽにゃぽにゃLv.93は潔し fact2: 「なんらかのモンスターが救い給うかまたは耐性化しないかまたはどちらもであるとしたら耐性化するということはない」ということは本当である fact3: あのぽにゃぽにゃLv.93は潔しか他愛無くない fact4: とあるモンスターは救い給う fact5: あのぽにゃぽにゃLv.93は救い給う fact6: 潔しモンスターはいる fact7: もし仮になんらかのモンスターが救い給うしまたそれが潔しならばこのまにゃまねLv.41は耐性化する
fact3 & fact1 -> int1: あのぽにゃぽにゃLv.93は潔し; fact5 & int1 -> int2: あのぽにゃぽにゃLv.93は救い給うしまたそれは潔し; int2 -> int3: とあるモンスターは救い給うしまた潔し; int3 & fact7 -> hypothesis;
fact3 & fact1 -> int1: {B}{a}; fact5 & int1 -> int2: ({A}{a} & {B}{a}); int2 -> int3: (Ex): ({A}x & {B}x); int3 & fact7 -> hypothesis;
このまにゃまねLv.41は耐性化しない
fact8 -> int4: もし仮に「このまにゃまねLv.41は救い給うか耐性化しないかまたは両方ともだ」ということは正しいならそれは耐性化するということはない;
$facts$ = fact1: もしもあのぽにゃぽにゃLv.93が潔しかそれが他愛無いということはないかもしくはどちらもであるならばあのぽにゃぽにゃLv.93は潔し fact2: 「なんらかのモンスターが救い給うかまたは耐性化しないかまたはどちらもであるとしたら耐性化するということはない」ということは本当である fact3: あのぽにゃぽにゃLv.93は潔しか他愛無くない fact4: とあるモンスターは救い給う fact5: あのぽにゃぽにゃLv.93は救い給う fact6: 潔しモンスターはいる fact7: もし仮になんらかのモンスターが救い給うしまたそれが潔しならばこのまにゃまねLv.41は耐性化する ; $hypothesis$ = このまにゃまねLv.41は耐性化する ; $proof$ = 
fact3 & fact1 -> int1: あのぽにゃぽにゃLv.93は潔し; fact5 & int1 -> int2: あのぽにゃぽにゃLv.93は救い給うしまたそれは潔し; int2 -> int3: とあるモンスターは救い給うしまた潔し; int3 & fact7 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}{a}; fact5 & int1 -> int2: ({A}{a} & {B}{a}); int2 -> int3: (Ex): ({A}x & {B}x); int3 & fact7 -> hypothesis; __PROVED__