multiPRover: Generating Multiple Proofs for Improved Interpretability in Rule Reasoning is accepted at NAACL 2021.