A hot air balloon is filled with twelve different people, all wearing black, blue red or white.
friends look at their town from way up high
Just because there is a group of people who are riding in a hot air balloon, it doesn't imply that the people are all friends. Hot air balloons can travel over many different types of scenery when they are in the air, not just over towns.
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 e1 s1 x1 x2 x3 x4.(at(e1,x4) & n_town(x4) & of(x4,x1) & n_thing(x1) & from(e1,x2) & r_up(s1) & Theme(s1,x3) & a_high(s1) & (x2 = x3) & n_way(x2) & Actor(e1,x1) & v_look(e1) & n_friend(x1))