検証可能な賭けをしてないから否定的に解決されることもない