發送短信: Probabilistic Deduction with Conditional Constraints over Basic Events