Czy następujące stwierdzenie można uznać za poprawny syllogizm? Wszystkie kury są ssakami, ptaki nie są ssakami, zatem wszystkie ptaki są kurami.
Nie, powyrzsze stwierdzenie nie może być uznane za poprawny syllogizm, ponieważ wniosek nie wynika logicznie z poprzedzających go stwierdzeń. Pierwsze stwierdzenie, że wszystkie kury są ssakami, a drugie stwierdzenie, że ptaki nie są ssakami, nie oznacza koniecznie, że wszystkie ptaki są kurami.