a$)$ Convert KB into Conjunctive Normal Form $($CNF$).$

b$)$ Using your answer in part a$,$ prove the sentence $=$notA by contradiction. Use only the

inference rules of propositional logic.