premise: Three men and one woman standing next to each other, all wearing aprons and pouring something into each others cups at the same time.
hypothesis: Four chefs are making drinks for eachother at a bar.
explanation_1: Wearing aprons does not necessarily imply that people are chefs. Pouring something into cups does not necessarily imply making drinks. Pouring something into cups does not imply that people are at a bar.
premise_logic: exists e3 e1 e2 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12.(n_time(x12) & a_same(s2) & Theme(s2,x12) & n_person(x12) & at(e3,x12) & all x14.((-(x14 = x12) & n_person(x14)) -> exists x15.(into(e3,x14) & Time(x14,x15) & n_cup(x15))) & Theme(e3,x11) & Actor(e3,x8) & v_pour(e3) & n_thing(x11) & n_woman(x10) & card_eq_1(x10) & n_man(x9) & card_eq_3(x9) & subset_of(x10,x8) & subset_of(x9,x8) & a_all(s1) & Manner(e2,s1) & Theme(e2,x7) & Actor(e2,x4) & v_wear(e2) & n_apron(x7) & n_woman(x6) & card_eq_1(x6) & n_man(x5) & card_eq_3(x5) & subset_of(x6,x4) & subset_of(x5,x4) & all x13.(n_other(x13) -> to(e1,x13)) & r_next(e1) & Actor(e1,x1) & v_stand(e1) & n_woman(x3) & card_eq_1(x3) & n_man(x2) & card_eq_3(x2) & subset_of(x3,x1) & subset_of(x2,x1))
hypothesis_logic: exists e1 x1 x2 x3 x4.(Theme(e1,x2) & Actor(e1,x1) & v_make(e1) & for(x2,x3) & at(x3,x4) & n_bar(x4) & n_eachother(x3) & n_drink(x2) & n_chef(x1) & card_eq_4(x1))
premise_sim: exists e3 e1 e2 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12.(v_wear(e2) & v_stand(e1) & v_pour(e3) & subset_of(x9,x8) & subset_of(x6,x4) & subset_of(x5,x4) & subset_of(x3,x1) & subset_of(x2,x1) & subset_of(x10,x8) & r_next(e1) & n_woman(x6) & n_woman(x3) & n_woman(x10) & n_time(x12) & n_thing(x11) & n_person(x12) & n_man(x9) & n_man(x5) & n_man(x2) & n_apron(x7) & card_eq_3(x9) & card_eq_3(x5) & card_eq_3(x2) & card_eq_1(x6) & card_eq_1(x3) & card_eq_1(x10) & at(e3,x12) & all x14.(exists x15.(n_cup(x15) & into(e3,x14) & Time(x14,x15)) | -n_person(x14) | (x14 = x12)) & all x13.(to(e1,x13) | -n_other(x13)) & a_same(s2) & a_all(s1) & Theme(s2,x12) & Theme(e3,x11) & Theme(e2,x7) & Manner(e2,s1) & Actor(e3,x8) & Actor(e2,x4) & Actor(e1,x1))
hypothesis_sim: exists e1 x1 x2 x3 x4.(v_make(e1) & n_eachother(x3) & n_drink(x2) & n_chef(x1) & n_bar(x4) & for(x2,x3) & card_eq_4(x1) & at(x3,x4) & Theme(e1,x2) & Actor(e1,x1))