一种基于桶树的自动推理问题求解算法