Se Paulo vai à festa, então Ana não vai ao parque. Se Ana não vai ao parque, então os passarinhos cantam. Se os passarinhos cantam, então os gatos não miam. Se os gatos miam, é verdade que: