Considere as seguintes afirmações.

I- Algum autor maranhense escreveu Poema Sujo e O Cortiço.
II- Aluísio de Azevedo foi o autor maranhense de O Cortiço, enquanto Ferreira Gullar foi o autor maranhense de Poema Sujo.
III- Se Ferreira Gullar não se exilar, ele será preso, se continuar protestando contra a ditadura militar.
IV- Se Aluísio de Azevedo ou Ferreira Gullar escreveu O Cortiço, então algum maranhense escreveu essa obra.

Com base nessas afirmações e em sua forma lógica na linguagem quantificacional clássica, é correto afirmar que(,)