Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation