Two women walking with their arms around each other.
the women hate each other
People that hate each other would not be walking with their arms around each other.
exists e1 x1 x2 x3.(a_topic(x1) & all x4.(n_other(x4) -> around(e1,x4)) & with(e1,x3) & n_arm(x3) & of(x3,x1) & n_thing(x1) & Actor(e1,x2) & v_walk(e1) & (x1 = x2) & n_woman(x1) & card_eq_2(x1))
exists x1.(n_woman(x1) & all x2.(n_other(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_hate(e1))))