Um auditor da receita estadual, sem visitar qualquer estabelecimento comercial, empregou técnica de banco de dados a partir da escrituração eletrônica existente, por meio do qual foi possível montar um painel de empresas, incluindo a composição de alíquotas incidentes no ingresso de mercadorias e os respectivos créditos pleiteados. Após buscar os casos que mais divergiam da média, identificou uma empresa específica em que: I. não havia qualquer entrada de produtos isentos; II. havia créditos contabilizados de mercadorias objeto de consumo próprio; e III. havia créditos contabilizados de mercadorias utilizadas na formação de ativo permanente.

Nessa hipótese,