In the context of proving Q (a query variable) using resolution [as discussed in the class] on a KB which uses propositional logic for representation, which of the statements is false Proving Q using

a) All premises must be true
b) If a contradiction can be derived, Q is true
c) Resolution is a sound and complete inference rule
d) If Q is true, then it must be in the KB