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é.