第四章 推论