第三章 推论