Considerem-se as seguintes proposições.
Se o tempo está nublado, há ventos.
Se está chovendo, o tempo está nublado.
Se Marisa saiu a pé, não está chovendo.
Se não está chovendo, Marisa está contente.
Acerca das proposições acima apresentadas, julgue o item subsequente.
Se Marisa não está contente, ela não saiu a pé.
