Two young women in identical blue dresses giving the peace sign in an auditorium.
The young women are wearing different dresses outside.
They cannot have identical dresses while having different dresses. One cannot be in an auditorium while being outside.
exists e1 s1 s2 s3 x1 x2 x3 x4 x5 x6.(n_sign(x4) & of(x4,x5) & n_peace(x5) & a_topic(x1) & in(x1,x2) & in(e1,x6) & n_auditorium(x6) & Theme(e1,x4) & Actor(e1,x3) & v_give(e1) & (x2 = x3) & n_dress(x2) & a_blue(s3) & Theme(s3,x2) & a_identical(s2) & Theme(s2,x2) & n_woman(x1) & a_young(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 s1 s2 x1 x2 x3.(n_dress(x3) & n_woman(x1) & a_young(s1) & Theme(s1,x1) & a_outside(s2) & Manner(e1,s2) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & -(x2 = x3) & n_dress(x2))