あのみえみちゃLv.86は出来易い
fact1: もしあのみにみちゅLv.79が話し易くてそれが強しとしたらあのまにまゆLv.3は話し易くない fact2: あのぷよぷちゃLv.50が子供っぽくないとしたらあのみえみちゃLv.86は出来易いし更に分離し易い fact3: あのみえみちゃLv.86は分離し易くてまた子供っぽい fact4: そのまえまのLv.87は出来易いということはない fact5: あのみえみちゃLv.86は話し易い fact6: もしあのまにまゆLv.3が話し易くないとしたらあのぷよぷちゃLv.50は子供っぽくない
fact3 -> int1: あのみえみちゃLv.86は子供っぽい; int1 & fact5 -> int2: あのみえみちゃLv.86は子供っぽいしおまけに話し易い;
fact3 -> int1: {B}{a}; int1 & fact5 -> int2: ({B}{a} & {C}{a});
あのみえみちゃLv.86は出来易い
$facts$ = fact1: もしあのみにみちゅLv.79が話し易くてそれが強しとしたらあのまにまゆLv.3は話し易くない fact2: あのぷよぷちゃLv.50が子供っぽくないとしたらあのみえみちゃLv.86は出来易いし更に分離し易い fact3: あのみえみちゃLv.86は分離し易くてまた子供っぽい fact4: そのまえまのLv.87は出来易いということはない fact5: あのみえみちゃLv.86は話し易い fact6: もしあのまにまゆLv.3が話し易くないとしたらあのぷよぷちゃLv.50は子供っぽくない ; $hypothesis$ = あのみえみちゃLv.86は出来易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__