Three boys with arms around each other.
Five old women are arm wrestling.
The boys are not old women.  One cannot have their arms around someone and arm wrestle at the same time.
exists x1 x2.(all x3.(n_other(x3) -> (a_topic(x1) & with(x1,x2) & around(x2,x3))) & n_arm(x2) & n_boy(x1) & card_eq_3(x1))
exists p1 s1 x1.(exists x2 x3.((x1 = x2) & n_wrestling(x2) & of(x2,x3) & n_arm(x3)) & n_woman(x1) & a_old(s1) & Theme(s1,x1) & card_eq_5(x1))