Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference