Besides, don’t some girls tease guys they’re actually attracted to? I mean, not in this case, but sometimes.
Of course! And vice versa!
Furthermore, no girl would waste her time teasing somebody whom they didn’t care about. If she didn’t like him a little bit, she’d just ignore him.