Sabe-se que as seguintes proposições são verdadeiras:

- Se o time A não é campeão, então o time B se classifica para a Copa Libertadores.

- O time B não se classifica para a Copa Libertadores ou o time C se classifica para a Copa Sul-Americana.

- O time C se classifica para a Copa Sul-Americana se, e somente se, o time D não for rebaixado.

- O time D é rebaixado e o time E vence a última partida.

Portanto, é necessariamente verdadeiro que: