premise: While drinking a coupe of Red Stripe beers, a man with a gray t-shirt speaks to another man wearing a blue button up shirt.
hypothesis: While drinking beer a man is dancing with another man
explanation_1: Speaking and dancing are different actions.
explanation_2: Speaking and dancing are two separate acts.
explanation_3: The man cannot be speaking to another man while dancing with another man.
premise_logic: exists e1 e3 e2 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11.(while(e2,e1) & to(e2,x8) & Theme(e3,x10) & Actor(e3,x9) & v_wear(e3) & up(x10,x11) & n_shirt(x11) & n_button(x10) & a_blue(s2) & Theme(s2,x10) & (x8 = x9) & n_man(x8) & -(x8 = x6) & n_man(x6) & n_man(x6) & Actor(e2,x6) & v_speak(e2) & with(x6,x7) & n_t-shirt(x7) & a_gray(s1) & Theme(s1,x7) & Theme(e1,x2) & Actor(e1,x1) & v_drink(e1) & of(x2,x3) & n_beer(x3) & (x3 = x5) & ne_org_stripe(x5) & (x3 = x4) & ne_org_red(x4) & n_coupe(x2) & n_thing(x1))
hypothesis_logic: exists e1 e2 x1 x2 x3 x4.(while(e2,e1) & with(e2,x4) & n_man(x4) & -(x4 = x3) & n_man(x3) & n_man(x3) & Actor(e2,x3) & v_dance(e2) & Theme(e1,x2) & Actor(e1,x1) & v_drink(e1) & n_beer(x2) & n_thing(x1))