Given the following propositional logic KB:

a$.B$

b$.BC$

c$.B$&$CD$

a$.$ Prove by enumeration that this $KB$ entails $D.$

b$.$ Prove by Modes Ponens that this KB entails D$.$

c$.$ Prove by resolution by refutation that this $KB$ entails $D$