Sobre os amigos Marcos, Renato e Waldo, sabe-se que:
I - Se Waldo é flamenguista, então Marcos não é tricolor;
II - Se Renato não é vascaíno, então Marcos é tricolor;
III - Se Renato é vascaíno, então Waldo não é flamenguista.
Logo, deduz-se que:
Marcos é tricolor;
Marcos não é tricolor;
Waldo é flamenguista;
Waldo não é flamenguista;
Renato é vascaíno.
