Sabe-se que as duas proposições abaixo são verdadeiras: 
• Se Paulo é ciclista, então Bianca é tenista.  • Se Bianca é tenista, então Helena não é boxeadora. 
Logo, é obrigatoriamente verdadeira a proposição: