Propositional Resolution is not generatively complete. There are no premises. Consequently, there are no conclusions. Our proof system is complete. There is a resolution derivation of a conclusion from a set of premises if and only if there is a derivation using the two finger method.
Propositional resolution using the two-finger method always terminates.
There are only finitely many clauses that can be constructed from a finite set of logical constants. Add two stacks, Deleting at most one pair of complementary coins. Nickel means Mary loves Pat. Dime means Mary loves Quincy.