Two girls and two boys are walking down a road with backpacks on their backs.
Four boys are walking home to get their backpacks for their camping trip.
two girls and two boys is contradictory to to four boys
exists e1 x1 x2 x3 x4 x5 x6.(on(e1,x6) & n_back(x6) & of(x6,x2) & n_thing(x2) & with(e1,x5) & n_backpack(x5) & down(e1,x4) & n_road(x4) & Actor(e1,x1) & v_walk(e1) & subset_of(x3,x1) & n_boy(x3) & card_eq_2(x3) & subset_of(x2,x1) & n_girl(x2) & card_eq_2(x2))
exists e1 p1 x1 x2 x3 x4 x5 x6.(Topic(e1,p1) & exists e2.(for(e2,x5) & Theme(e2,x4) & Actor(e2,x1) & v_get(e2)) & n_trip(x5) & of(x5,x6) & n_camping(x6) & of(x5,x1) & n_thing(x1) & n_thing(x1) & n_backpack(x4) & of(x4,x1) & Time(e1,x3) & n_home(x3) & Actor(e1,x2) & v_walk(e1) & n_boy(x2) & card_eq_4(x2) & n_boy(x1) & card_eq_4(x1))