派生的推論規則