Negative proof by counterexample. I met a girl in SF last month. Therefore, "there are no girls in San Francisco" is false. QED.