Gravar-mail: Unsupervised logic-based mechanism inference for network-driven biological processes