Se Marta é estudante, então Pedro não é professor. Se Pedro não é professor, então Murilo trabalha. Se Murilo trabalha, então hoje não é domingo. Ora, hoje é domingo. Logo,