Considere verdadeiras as afirmações.

I. Se Arnaldo é grosseiro, então Beatriz é gentil.

II. Se Cátia é educada, então Arnaldo não é grosseiro.

III. Se Arnaldo não é grosseiro, então Deise é amável.

IV. Deise não é amável.

A partir dessas afirmações, é correto concluir que: