private void button3_Click(object sender, EventArgs e)
{
if (engine == null)
{
CreateEngine();
}
if (!engine.SingleStep())
{
MessageBox.Show("推理已经结束！");
}
textBox1.Text = engine.LogText;
button1_Click(sender, e);
}