Magic Inference Rules for Probabilistic Deduction under Taxonomic Knowledge