第三十一章 推论