あのもちょもにゅLv.91は見易い
fact1: 仮にとあるモンスターが追い上げないとしたらそれは見易くておまけに解け易い fact2: このみゆみわLv.46は解け易いし追い上げる
fact2 -> int1: このみゆみわLv.46は追い上げる; int1 -> int2: このみゆみわLv.46は追い上げるかあるいは結合し易いかあるいは両方ともだ;
fact2 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a});
あのもちょもにゅLv.91は見易い
fact3 -> int3: もし仮にあのもちょもにゅLv.91が追い上げないとすれば見易くてさらに解け易い;
$facts$ = fact1: 仮にとあるモンスターが追い上げないとしたらそれは見易くておまけに解け易い fact2: このみゆみわLv.46は解け易いし追い上げる ; $hypothesis$ = あのもちょもにゅLv.91は見易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__