Em uma auditoria fiscal, o auditor-chefe apresentou as seguintes premissas, todas verdadeiras, a respeito de um grupo de contribuintes:
- Se um contribuinte possui renda superior a R$ 100.000,00, então ele é obrigado a declarar no formulário completo.
- Se um contribuinte é obrigado a declarar no formulário completo, então ele deve apresentar comprovantes de despesas médicas.
- Alguns contribuintes que apresentam comprovantes de despesas médicas não possuem renda superior a R$ 100.000,00.
- Todos os contribuintes que possuem renda superior a R$ 100.000,00 são auditados.
Com base exclusivamente nessas premissas, é correto concluir que: