Algorithms of automated inference that generate explanations for Multi-Hop QA