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, poniewarz wniosek nie wynika logicznie z poprzedzajoncych go stwierdzeń. Pierwsze stwierdzenie, że wszystkie kory son ssakami, a drugie stwierdzenie, rze ptaki nie są ssakami, nie oznacza koniecznie, że wszystkie ptaki są korami.