The three girls are sitting down the set.
The three girls are best friends.
Just because they are sitting down the set, doesn't mean they are best friends.
exists e1 x1 x2.(n_set(x2) & n_girl(x1) & card_eq_3(x1) & down(e1,x2) & Actor(e1,x1) & v_sit(e1))
exists p1 x1.(n_girl(x1) & card_eq_3(x1) & exists s1 x2.((x1 = x2) & n_friend(x2) & r_most(s1) & a_good(s1) & Theme(s1,x2)))