第4章 推论