あのぽにゃぽねLv.58は生じ難い
fact1: そのもにょもわLv.78は生じ難い fact2: あのぽにゃぽねLv.58が恥ずかしないならばそのぴなぴやLv.78は艶めかしくない fact3: あのぽにゃぽねLv.58は開発・運用するということはない fact4: 返りらしいモンスターは生じ難い fact5: もしもあのぽにゃぽねLv.58が恥ずかしとしたら生じ難い fact6: 仮にそのぴにぴわLv.92が例外無くないならばそのぴなぴやLv.78は恥ずかしない
void -> assump1: 以下のように仮定する。あのぽにゃぽねLv.58は恥ずかしということはない; fact2 & assump1 -> int1: そのぴなぴやLv.78は艶めかしくない;
void -> assump1: ¬{A}{a}; fact2 & assump1 -> int1: ¬{B}{b};
もしもあのみくみゆLv.68が返りらしいとしたら生じ難い
fact7 -> hypothesis;
$facts$ = fact1: そのもにょもわLv.78は生じ難い fact2: あのぽにゃぽねLv.58が恥ずかしないならばそのぴなぴやLv.78は艶めかしくない fact3: あのぽにゃぽねLv.58は開発・運用するということはない fact4: 返りらしいモンスターは生じ難い fact5: もしもあのぽにゃぽねLv.58が恥ずかしとしたら生じ難い fact6: 仮にそのぴにぴわLv.92が例外無くないならばそのぴなぴやLv.78は恥ずかしない ; $hypothesis$ = あのぽにゃぽねLv.58は生じ難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__