LOREN: Logic Enhanced Neural Reasoning for Fact Verification