第七百章 验证推论