On the Computer-Checked Solution of the Kuratowski Closure-Complement Problem