Todos los gatos matan ratones
Algunos carnívoros no matan ratones
Algunos carnívoros no son gatos