premise: There are a bunch of soccer players standing around the soccer field in the middle of a game.
hypothesis: The soccer players are on the ground in a pile.
explanation_1: Players cannot  be in a pile.
explanation_2: You can't be on the ground in a pile as the same time you are standing around.
explanation_3: They cannot be laying on the ground in a pile and standing around the soccer filed at the same time.
premise_logic: exists p1 x1 x7.(n_middle(x7) & exists e1 x2 x3 x4 x5 x6 x8.((x1 = x2) & in(e1,x7) & of(x7,x8) & n_game(x8) & around(e1,x6) & n_field(x6) & of(x6,x4) & n_soccer(x4) & n_soccer(x4) & Actor(e1,x5) & v_stand(e1) & (x2 = x5) & of(x2,x3) & n_player(x3) & of(x3,x4) & n_bunch(x2)))
hypothesis_logic: exists p1 x1 x2 x3.(n_ground(x3) & n_player(x1) & of(x1,x2) & n_soccer(x2) & exists x4.(on(x1,x3) & in(x3,x4) & n_pile(x4)))