A candid moment between three friends.
The three hate each other.
the moment is either described as being candid or they hate each other, both cant exist at once.
exists s1 x1 x2.(a_topic(x1) & between(x1,x2) & n_friend(x2) & card_eq_3(x2) & n_moment(x1) & a_candid(s1) & Theme(s1,x1))
exists x2.(n_hate(x2) & card_eq_3(x2) & all x1.(n_other(x1) -> (a_topic(x2) & for(x2,x1))))