Considerando as seguintes premissas: "Nenhum bípede é quadrúpede; Ora, algum cavalo é quadrúpede; Logo..." A conclusão correta, pela regras do silogismo, é que