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,