ソリューション仮説を検証する