Regras de negócio representam uma das formas mais efetivas de expressar conhecimento de negócio e, hoje em dia, empresas ágeis estão procurando identificar, representar e documentar essas regras, de forma que sejam claramente compreendidas e corretamente usadas por toda a empresa. Além disso, as regras de negócio são parte primordial de todos os sistemas de informação (SI) e neles estão sempre presentes. Assim, a identificação de erros em regras de negócio assume importância cada vez maior no desenvolvimento de SI, pois esses erros impactam em seus custos finais. Em particular, quanto mais tarde essa identificação ocorre, mais os custos de correção aumentam, podendo chegar a centenas de milhões de dólares por ano. Este artigo apresenta o método MIIRNA para a verificação da consistência de um conjunto de regras de negócio aplicadas em um domínio específico de negócio, usando a ferramenta Alloy e os paradigmas instance finding e small scope hypothesis, propostos na literatura acadêmica. Verificou-se que o método é aplicável e eficiente para conjuntos de regras de negócio de tamanho e complexidade médios. Para conjuntos de porte e complexidade maiores, a small scope hypothesis traz grandes possibilidades de escalabilidade do método MIIRNA. A partir desses resultados, podemos concluir que o método é viável, podendo ser usado tanto por analistas de sistemas quanto por analistas de negócio, de forma desacoplada da implementação dos SI.