premise: People are getting money our of an ATM.
hypothesis: People are in the check out line.
explanation_1: The people cannot simultaneously be at an ATM and be in a check out line
explanation_2: People cannot be in line and getting money out of an ATM at the same time.
explanation_3: You cannot be at the ATM and in the checkout line at the same time.
premise_logic: exists e1 x1 x2 x3 x4.(Theme(e1,x2) & Actor(e1,x1) & v_get(e1) & of(x2,x4) & ne_org_atm(x4) & Time(x2,x3) & n_our(x3) & n_money(x2) & n_people(x1))
hypothesis_logic: exists p1 x1 x2.(n_check(x2) & exists x3.(in(x1,x2) & out(x2,x3) & n_line(x3)) & n_people(x1))