On the Complexity of Certain Decision Procedures for Proposi- Tional Calculus and Random Graphs. Announced As: an Improved Lower Bound for Regular Resolution and Similar Systems