Using resolution refutation, prove that a knowledge base (KB) entails a sentence (S). Write your answer in a table format with step, formula, and derivation columns, as shown in slide 103 of the fourth-week class. (20 points) Q3.1. KB: S: - AB D - AC - (BC)D Q3.2 KB: S: - AB - AC - BD Q3.3. KB: S : - AB D - BCD - AC Using resolution refutation, prove that a knowledge base (KB) entails a sentence (S). Write your answer in a table format with step, formula, and derivation columns, as shown in slide 103 of the fourth-week class. (20 points) Q3.1. KB: S: - AB D - AC - (BC)D Q3.2 KB: S: - AB - AC - BD Q3.3. KB: S : - AB D - BCD - AC