O, alternativamente, podemos tratar de probar (\neg B \to \ neg A), comprobando que todas las chicas que no son rubias para ver si todas están fuera de EE.UU..