あのぴよぴにゃLv.19は酷くてかつ儚し
fact1: あのぴよぴにゃLv.19は儚し fact2: もし仮にあのぴよぴにゃLv.19が納車するならあのぴよぴにゃLv.19は酷い fact3: もしもあのもえもゆLv.22が生じ難いかもしくは興奮し易くないか両方ならばあのぴよぴにゃLv.19は遠し fact4: 全てのモンスターは生じ難いかまたは興奮し易くない
fact4 -> int1: あのもえもゆLv.22は生じ難いか興奮し易くない; int1 & fact3 -> int2: あのぴよぴにゃLv.19は遠し;
fact4 -> int1: ({A}{aa} v ¬{B}{aa}); int1 & fact3 -> int2: {C}{a};
$facts$ = fact1: あのぴよぴにゃLv.19は儚し fact2: もし仮にあのぴよぴにゃLv.19が納車するならあのぴよぴにゃLv.19は酷い fact3: もしもあのもえもゆLv.22が生じ難いかもしくは興奮し易くないか両方ならばあのぴよぴにゃLv.19は遠し fact4: 全てのモンスターは生じ難いかまたは興奮し易くない ; $hypothesis$ = あのぴよぴにゃLv.19は酷くてかつ儚し ; $proof$ = 
__UNKNOWN__
__UNKNOWN__