LogiGAN: LearningLogicalReasoningvia AdversarialPre-training