Registre de correu electrònic: Uncertain deduction and conditional reasoning