Em um cinema, valem as seguintes regras:

1. Se o projetor falhar, então a sessão é cancelada.

2. Se a sessão for cancelada, então é emitido reembolso automático.

Ao final do dia, constatou-se que não houve reembolso automático para a sessão.

Qual conclusão é necessariamente verdadeira?