Três amigos, Leonardo, Marcelo e Nelson, marcaram um almoço na casa de um deles. Os amigos combinaram de cada um trazer um prato salgado, dentre carne, torta e farofa, uma bebida, dentre suco, refrigerante e vinho, e uma sobremesa, dentre bolo, pudim e frutas. Não houve repetições entre o que os amigos trouxeram. Leonardo trouxe frutas. Quem trouxe suco trouxe, também, carne. Nelson trouxe farofa e não trouxe pudim. Marcelo não trouxe carne. A partir dessas informações, conclui-se, necessariamente, que