Gravar e-mail: Computing Abduction in Semantic Tableaux