A negação da proposição se Paulo estuda, então Marta é atleta é logicamente equivalente à proposição
Se Paulo é irmão de Ana, então Natália é prima de Carlos. Se Natália é prima de Carlos, então Marta não é mãe de Rodrigo. Se Marta não é mãe de Rodrigo, então Leila é tia de Maria. Ora, Leila não é tia de Maria. Logo