Zaslat SMS: Probabilistic Deduction with Conditional Constraints over Basic Events