自动推理

automatic reasoning