Esto significa que si encontramos al menos una chica no rubia en Estados Unidos, hemos refutado formula_13, lo que equivale a formula_12.