TorahVerse: Ancient Hermeneutic Methods in Formal Logic