Observamos que cada vez que las premisas son verdaderas (en rojo), también lo es la conclusión (en azul).