multiPRover: Generating Multiple Proofs for Improved Interpretability in Rule Reasoning