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 não está chovendo, Marisa saiu a pé.