このもにもえLv.42は馴染み難くない
fact1: このまにまやLv.35は取りするということはない fact2: もしもそのぷいぷちゃLv.23が避けるということはなくてそれに近くないならこのもにもえLv.42は馴染み難い fact3: ややこしいモンスターは馴染み難くないしさらに取りしない
このもにもえLv.42は馴染み難くない
fact4 -> int1: このもにもえLv.42がややこしいならばこのもにもえLv.42は馴染み難いということはなくて更に取りしない;
$facts$ = fact1: このまにまやLv.35は取りするということはない fact2: もしもそのぷいぷちゃLv.23が避けるということはなくてそれに近くないならこのもにもえLv.42は馴染み難い fact3: ややこしいモンスターは馴染み難くないしさらに取りしない ; $hypothesis$ = このもにもえLv.42は馴染み難くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__