A note on propositional proof complexity of some Ramsey-type statements