输入常量名

输入变量名

输入子句

输入要推理的问题