Esta regla puede expresarse en lógica estándar, ya sea por "todas las aves vuelan", que es incompatible con el hecho de que los pingüinos no vuelan, o por "todas las aves que no son pingüinos y no son avestruces y ...