あのぷちょぷのLv.87は馬鹿でかくない
fact1: もしも何らかのモンスターが青しとするとそれは馬鹿でかい fact2: このまちゃまよLv.21は馬鹿でかい
あのぴちゅぴにゅLv.86は馬鹿でかい
fact3 -> int1: もしあのぴちゅぴにゅLv.86が青しとしたらあのぴちゅぴにゅLv.86は馬鹿でかい;
$facts$ = fact1: もしも何らかのモンスターが青しとするとそれは馬鹿でかい fact2: このまちゃまよLv.21は馬鹿でかい ; $hypothesis$ = あのぷちょぷのLv.87は馬鹿でかくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__