A hot air balloon is filled with twelve different people, all wearing black, blue red or white.
Some people are in the hot air balloon.
Twelve different people also means some people.
exists e1 s1 x1 x2 x3 x4 x5.(n_people(x5) & with(e1,x3) & all e2 s4 s2 s3 s5 x6.((n_white(x6) & a_red(s5) & Theme(s5,x6) & a_blue(s4) & Theme(s4,x6) & a_,(s3) & Theme(s3,x6) & a_black(s2) & Theme(s2,x6) & Actor(e2,x6) & v_wear(e2)) -> subset_of(x6,x3)) & subset_of(x4,x3) & -(x4 = x5) & n_people(x4) & card_eq_12(x4) & Theme(e1,x1) & v_fill(e1) & n_balloon(x1) & of(x1,x2) & n_air(x2) & a_hot(s1) & Theme(s1,x1))
exists p1 s1 x1 x2 x3.(n_balloon(x2) & of(x2,x3) & n_air(x3) & a_hot(s1) & Theme(s1,x2) & in(x1,x2) & n_people(x1))