Si una regla produce inferencias inaceptables, la descartamos como no válida...