Por ejemplo, si queremos demostrar que todas las chicas de Estados Unidos (A) son rubias (B), podemos o bien tratar de probar formula_12, revisando cada una de las chicas de Estados Unidos para ver si son todas rubias.