Two Inference algorithms A and B were used to prove entailment for a given statement s. Algorithm A took T time units to finish, and algorithm B took 2T time units to finish. Which of the following is the most probable to be true? O a. Als the backward chaining algorithm, and B is the forward chaining algorithm O b. A is the "Inference by enumeration" algorithm, and B is the resolution algorithm O c. B is the backward chaining algorithm, and A is the forward chaining algorithm O d. A is the "Inference by enumeration" algorithm, and B is the forward chaining algorithm