共役な推論規則