Two men, one working and one resting on a rooftop.
The men are working and resting on the ground
The contradiction is where they are working. Are the working on the rooftop or on the ground?
exists x1 x2 x3 x4.(a_topic(x1) & rel(x1,x2) & on(x2,x4) & n_rooftop(x4) & n_rest(x2) & card_eq_1(x2) & card_eq_1(x2) & of(x2,x3) & n_working(x3) & n_man(x1) & card_eq_2(x1))
exists e2 e1 x1 x2.(n_ground(x2) & n_man(x1) & on(e2,x2) & Actor(e2,x1) & v_rest(e2) & Actor(e1,x1) & v_work(e1))