Se Paulo é motorista, então Ana é advogada.

Se Carlos é professor, então Paulo é motorista.

Sabe-se que Ana não é advogada.

Portanto, é válido concluir que: