Don't Let It Hallucinate: Premise Verification via Retrieval-Augmented Logical Reasoning