2.4.5 验证假设并形成推论