Márcia não é magra ou Renata é ruiva. Beatriz é bailarina ou Renata não é ruiva....

Questão de Raciocínio Lógico da banca ESAF aplicada no concurso CGU (2006). Confira a resolução completa abaixo:

Márcia não é magra ou Renata é ruiva. Beatriz é bailarina ou Renata não é ruiva. Renata não é ruiva ou Beatriz não é bailarina. Se Beatriz não é bailarina então Márcia é magra. Assim,