Neurosymbolic artificial intelligence via large language models and coherence-driven inference