Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference | Read Paper on Bytez