Generalization on the Unseen, Logic Reasoning and Degree Curriculum