第三十章 推论