そのもえもやLv.6は痛い
fact1: あらゆるモンスターは進め易いかもしくは痛いかまたは両方である fact2: そのもえもやLv.6は進め易い fact3: もしもそのもえもやLv.6が幅広いしかつ進め易いとすればそのもえもやLv.6は痛くない
そのみにみいLv.21は痛くてまた挟撃する
fact4 -> int1: そのもえもやLv.6は進め易いか痛い;
$facts$ = fact1: あらゆるモンスターは進め易いかもしくは痛いかまたは両方である fact2: そのもえもやLv.6は進め易い fact3: もしもそのもえもやLv.6が幅広いしかつ進め易いとすればそのもえもやLv.6は痛くない ; $hypothesis$ = そのもえもやLv.6は痛い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__