Two people perform on a stage under bright, pink lights.
Six people perform under no lights on the stage.
Two people are more than six people and if they are under bright, pink lights then it would be impossible for them to be under no lights.
exists e1 s1 s2 s3 x1 x2 x3.(under(e1,x3) & n_light(x3) & a_pink(s3) & Theme(s3,x3) & a_,(s2) & Theme(s2,x3) & a_bright(s1) & Theme(s1,x3) & on(e1,x2) & n_stage(x2) & Actor(e1,x1) & v_perform(e1) & n_people(x1) & card_eq_2(x1))
exists e1 x1 x3.(n_stage(x3) & -exists x2.(under(e1,x2) & on(x2,x3) & n_light(x2)) & Actor(e1,x1) & v_perform(e1) & n_people(x1) & card_eq_6(x1))