「このぽにゅぽにゅLv.21は黄色くないし加えて甘ったるくない」ということは誤りである
fact1: なにがしかのモンスターは大人し
fact1 -> int1: なにがしかのモンスターは大人し;
fact1 -> int1: (Ex): {A}x;
$facts$ = fact1: なにがしかのモンスターは大人し ; $hypothesis$ = 「このぽにゅぽにゅLv.21は黄色くないし加えて甘ったるくない」ということは誤りである ; $proof$ = 
__UNKNOWN__
__UNKNOWN__