Вот для сравнения следующий силлогизм с аналогичной структурой: Все единороги – лошади. У всех единорогов есть рог. Следовательно, у некоторых лошадей есть рог.