Gravar-mail: Bayesian reasoning with ifs and ands and ors