あのまちょまえLv.15は伝え易い
fact1: そのぽえぽよLv.97は伝え易くない fact2: もしあのみやみくLv.33が手早いならばあのまちょまえLv.15は伝え易い fact3: とあるモンスターは卑しくないとしたら「それは伝え易くない」ということは確かである
fact3 -> int1: もしあのまちょまえLv.15が卑しくないならばそれは伝え易くない;
fact3 -> int1: ¬{B}{aa} -> ¬{C}{aa};
あのまちょまえLv.15は伝え易い
$facts$ = fact1: そのぽえぽよLv.97は伝え易くない fact2: もしあのみやみくLv.33が手早いならばあのまちょまえLv.15は伝え易い fact3: とあるモンスターは卑しくないとしたら「それは伝え易くない」ということは確かである ; $hypothesis$ = あのまちょまえLv.15は伝え易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__