public static void main(String[] args) {
    Inference ir = new Inference();
    // ir.readInput("C:\\Users\\Nimesh\\workspace\\AI-BackwardChaining\\src\\input_1.txt");
    ir.readInput(args[1]);

    ir.FOL_BC_ASK();
  }