Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts