6. Prove Statement Resolution Refutation Propositional Logic Artificial Intelligence Mahesh Huddar