Logical Reasoning for Natural Language Inference Using Generated Facts as Atoms