Em um grupo de músicos, sabe-se que há ao menos um flautista que também é ...

1️⃣ Primeira informação

"Há ao menos um flautista que também é trompetista."

Isso significa:

∃ alguém que é Flautista ∧ Trompetista.

Ou seja, existe pelo menos uma pessoa que pertence aos dois grupos.

2️⃣ Segunda informação

"Todo trompetista é casado."

Em lógica:

Trompetista → Casado

Então, se temos alguém que é trompetista, obrigatoriamente essa pessoa é casada.

Como já sabemos que existe alguém que é flautista + trompetista, essa mesma pessoa será:

Flautista + Trompetista + Casado

Portanto:

Existe pelo menos um flautista que é casado.