Gravar-mail: Identifying Novel Drug Indications through Automated Reasoning