Se é verdade que “algum X é Y” e que “nenhum Z é Y”, então é necessariamente verdadeiro que: