Translating Natural Language to First-Order Logic for Logical Fallacy Detection