order based on main entity  
highlight key entities of inference
grey out parts of axioms not responsible for inference
draw a relationship graph from axioms..show inferences as dotted lines in graph