复杂的逻辑推理题案例