このぽにゃぽやLv.79は御生まれに成らない
fact1: もしこのぽにゃぽやLv.79はカスタマイズするとすると「このぽにゃぽやLv.79は平ったくないがしかし追撃する」ということは誤りである fact2: このぽにゃぽやLv.79はカスタマイズする
fact1 & fact2 -> int1: 「このぽにゃぽやLv.79は平ったくないがしかし追撃する」ということは成り立たない;
fact1 & fact2 -> int1: ¬(¬{AA}{a} & {AB}{a});
$facts$ = fact1: もしこのぽにゃぽやLv.79はカスタマイズするとすると「このぽにゃぽやLv.79は平ったくないがしかし追撃する」ということは誤りである fact2: このぽにゃぽやLv.79はカスタマイズする ; $hypothesis$ = このぽにゃぽやLv.79は御生まれに成らない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__