Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic