A Framework for Explaining LLM Reasoning with Knowledge Graphs