Em uma auditoria, adotaram-se as proposições: todo relatório homologado foi assinado por um revisor; todo documento assinado por revisor passou por controle formal; nenhum documento que passou por controle formal contém erro de protocolo. O parecer Alfa contém erro de protocolo. Considerando as três premissas gerais e o fato específico sobre Alfa, quantas proposições são necessárias no argumento para sustentar a conclusão de que Alfa não é relatório homologado?