Suppose the knowledge base contains the following two formulas: Knowledge Base = {(A ∨ B) → C, A}. Convert the Knowledge Base into Conjunctive Normal Form and then apply modus ponens to derive C. Show how the Knowledge Base changes as you apply the derivation rules.