逻辑推演加速器 | Logic Deduction Accelerator