15.更简单的推理

本章结束