The universal set is the set of all girls.The liars and not liars are disjoint set ,and their union gives the whole set.So this proof is complete.