Three girls dressed alike in plaid skirts and hats, green sweaters, and blue knee socks walk together.
The three girls all dressed differently.
If they are dressed alike then they cannot be dressed differently.
exists e1 e2 s1 s2 s3 s4 s5 x1 x2 x3 x4 x5 x6 x7 x8 x9.(a_together(s5) & Manner(e2,s5) & Actor(e2,x1) & v_walk(e2) & subset_of(x8,x1) & n_sock(x8) & of(x8,x9) & n_knee(x9) & a_blue(s4) & Theme(s4,x8) & subset_of(x2,x1) & rel(e1,x7) & n_sweater(x7) & a_green(s3) & Theme(s3,x7) & in(e1,x4) & n_hat(x6) & n_skirt(x5) & subset_of(x6,x4) & subset_of(x5,x4) & a_plaid(s2) & Theme(s2,x4) & a_alike(s1) & Manner(e1,s1) & Theme(e1,x3) & v_dress(e1) & (x2 = x3) & n_girl(x2) & card_eq_3(x2))
exists x2.(n_girl(x2) & card_eq_3(x2) & all x1.((x1 = x2) -> exists e1 s1.(a_differently(s1) & Manner(e1,s1) & Actor(e1,x1) & v_dress(e1))))