Se existe pelo menos um A que é B e todo B é M, qual conclusão válida se segue?

Algum A é M.

Explicação:
Partindo de ∃x (A(x) ∧ B(x)) pegamos o indivíduo que satisfaz ambas as propriedades, aplicamos a premissa ∀x (B(x) → M(x)) por instância universal para esse mesmo indivíduo, obtemos M(x), logo esse indivíduo satisfaz A(x) ∧ M(x), portanto ∃x (A(x) ∧ M(x)).

Exemplo:
Suponha que exista pelo menos um livro que é técnico, e suponha que todo livro técnico seja caro. Então, existe pelo menos um livro que é caro, porque o livro que é técnico também é caro, portanto existe um livro que é simultaneamente técnico e caro.