The trailer is white
The trailer is other colors.
If the trailer is white there is not way for it to be other colors at the same time.
exists s1 x1.(n_trailer(x1) & Theme(s1,x1) & a_white(s1))
exists p1 x1 x3.(n_color(x3) & n_trailer(x1) & exists x2.((x1 = x2) & -(x2 = x3) & n_color(x2)))