A rocking band, entertaining a crowd.
The crowd did not like the band at all.
If a crowd was entertained, they cannot also not like it at the same time.
exists e1 e2 x1 x2 x3.(a_topic(x1) & Theme(e2,x3) & Actor(e2,x2) & v_entertain(e2) & n_crowd(x3) & (x1 = x2) & n_band(x1) & Actor(e1,x1) & v_rock(e1))
exists x1 x2.(n_band(x2) & n_crowd(x1) & -all x3.(n_thing(x3) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_like(e1) & at(x2,x3))))