Proof complexity of natural formulas via communication arguments