このみゆみえLv.77は話し易くない
fact1: もし脂っこくないモンスターが乗り入れるなら説明し難くない fact2: もしも何らかのモンスターが文字化けしなくてしかも押し付けがましくないとしたらそれは話し易くない fact3: そのぷなぷよLv.49はめでたしないし自立しない
fact2 -> int1: もし仮にこのみゆみえLv.77が文字化けしないししかも押し付けがましくないならばこのみゆみえLv.77は話し易くない;
fact2 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa};
$facts$ = fact1: もし脂っこくないモンスターが乗り入れるなら説明し難くない fact2: もしも何らかのモンスターが文字化けしなくてしかも押し付けがましくないとしたらそれは話し易くない fact3: そのぷなぷよLv.49はめでたしないし自立しない ; $hypothesis$ = このみゆみえLv.77は話し易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__