Supongamos que no hay mujeres que saldrán con hombres que nunca hayan tenido novia. En ese caso, ningún hombre puede tener una novia en primer lugar, y en consecuencia, ninguna mujer saldrá con ningún hombre.
Como este no es el caso, la respuesta debe ser demostrable: Sí, existen mujeres que saldrán con hombres que no han tenido novia antes.