もしもあのぽよぽわLv.7が見難いならばあのまにゅまくLv.16は振り下ろす
fact1: 「あのまにゅまくLv.16は悪しない」ということは正しい
$facts$ = fact1: 「あのまにゅまくLv.16は悪しない」ということは正しい ; $hypothesis$ = もしもあのぽよぽわLv.7が見難いならばあのまにゅまくLv.16は振り下ろす ; $proof$ = 
__UNKNOWN__
__UNKNOWN__