premise: Two guys gather around a table with two girls while drinking.
hypothesis: The two guys are drinking while the girls are gathered by the table.
explanation_1: Guys gathered around a table with two girls indicates that the two guys are around the table with the girls, while girls gathered by the table indicates that the girls are gathered by the table themselves.
premise_logic: exists e1 x1 x2 x3 x4.(while(e1,x4) & n_drinking(x4) & around(e1,x2) & with(x2,x3) & n_girl(x3) & card_eq_2(x3) & n_table(x2) & Actor(e1,x1) & v_gather(e1) & n_guy(x1) & card_eq_2(x1))
hypothesis_logic: exists e1 p1 x1 x2 x3.(n_table(x3) & n_girl(x2) & n_guy(x1) & card_eq_2(x1) & exists e2.(Actor(e2,x3) & Theme(e2,x2) & v_gather(e2)) & while(e1,p1) & Actor(e1,x1) & v_drink(e1))
premise_sim: exists e1 x1 x2 x3 x4.(with(x2,x3) & while(e1,x4) & v_gather(e1) & n_table(x2) & n_guy(x1) & n_girl(x3) & n_drinking(x4) & card_eq_2(x3) & card_eq_2(x1) & around(e1,x2) & Actor(e1,x1))
hypothesis_sim: exists e1 p1 x1 x2 x3.(while(e1,p1) & v_drink(e1) & n_table(x3) & n_guy(x1) & n_girl(x2) & exists e2.(v_gather(e2) & Theme(e2,x2) & Actor(e2,x3)) & card_eq_2(x1) & Actor(e1,x1))