Cinco irmãs, discutindo sobre a festa que aconteceria na cidade no final do mês, fizeram as afirmações abaixo.
- Se a Paula for à festa, então a Bruna também irá. - Se a Renata não for à festa, então a Laura irá. - Se a Flávia não for à festa, então a Bruna também não irá. - Se a Laura for à festa, então a Paula também irá.
Sabendo que as quatro afirmações são verdadeiras e que Paula não foi à festa, pode-se concluir que, necessariamente,