Todo amigo de Luiza é filho de Marcos. Todo primo de Carlos, se não for irmão de Ernesto, ou é amigo de Luiza ou é neto de Tânia. Ora, não há irmão de Ernesto ou neto de Tânia que não seja filho de Marcos. Portanto, tem-se, necessariamente, que: