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 resolution is decidable

If the resolution proof results in an empty clause for a some query Q$,$ we prove Q

Proof by resolution uses "Proof by Contradiction

If the resolution proof results in an empty clause for a some query Q$,$ we disprove Q