Woman in a green dress with a white top and red-hair singing in a room with a blue roof while band equipment is being prepared.
The woman is a blonde.
green dress and blonde woman are not same.
(-x)
exists p1 x1.(n_woman(x1) & exists x2.((x1 = x2) & n_blonde(x2)))