規則為基的推理