Build a visualizer for graphml's that can be input to PyReason. Then add a visualizer such that, mousing over a rule trace would highlight the reasoning path.