填空题"不能从已知的FD集使用推理规则导出的FD不在F+中",这是推理规则的()性。