premise: women in a hat a making selling goods.
hypothesis: A woman is in a bar drinking beer.
explanation_1: A woman is either drinking beer or selling goods.
explanation_2: Drinking and selling are two different actions.
explanation_3: A woman can't be making goods and drinking beer in a bar at the same time.
premise_logic: exists x1.(all e1 x3 x2.((n_goods(x2) & of(x2,x3) & n_selling(x3) & Actor(e1,x2) & v_make(e1)) -> exists x4.(a_topic(x1) & in(x1,x4) & for(x4,x2) & n_hat(x4))) & n_woman(x1))
hypothesis_logic: exists p1 x1.(exists x2 x3 x4.(in(x1,x2) & n_beer(x2) & of(x2,x4) & n_drinking(x4) & of(x2,x3) & n_bar(x3)) & n_woman(x1))