复合命题综合推理实例