Deste modo, o facto 5 não podia ser dado como provado com a redacção nele constante, visto que o SIP não permite apenas efectuar o controlo por produtos e por fornecedores, mas também verificar se uma determinada factura foi ou não inserida no inventário permanente.