Translating natural language to first-order logic for logical fallacy detection | Heykuki News