premise: Three women talk to each other next to another woman sitting on a motorcycle.
hypothesis: Three women are talking and there is a woman on a motorcyle.
explanation_1: The women are talking about the motorcycle.
explanation_2: "Three women are talking" is a rephrasing of "three women talk."
explanation_3: "Three women are talking and there is a woman on a motorcyle" is a rephrasing of "Three women talk to each other next to another woman sitting on a motorcycle".
premise_logic: exists e1 e2 x1 x2 x3 x4.(to(e1,x2) & on(e2,x4) & n_motorcycle(x4) & Actor(e2,x3) & v_sit(e2) & (x2 = x3) & n_woman(x2) & -(x2 = x1) & n_woman(x1) & n_woman(x1) & r_next(e1) & all x5.(n_other(x5) -> to(e1,x5)) & Actor(e1,x1) & v_talk(e1) & card_eq_3(x1))
hypothesis_logic: exists e1 p1 x1 x2.(exists x3 x4.((x2 = x3) & on(x3,x4) & n_motorcyle(x4) & n_woman(x3)) & Actor(e1,x1) & v_talk(e1) & n_woman(x1) & card_eq_3(x1))
premise_sim: exists e1 e2 x1 x2 x3 x4.(v_talk(e1) & v_sit(e2) & to(e1,x2) & r_next(e1) & on(e2,x4) & n_woman(x2) & n_woman(x1) & n_motorcycle(x4) & card_eq_3(x1) & all x5.(to(e1,x5) | -n_other(x5)) & Actor(e2,x3) & Actor(e1,x1) & -(x2 = x1) & (x2 = x3))
hypothesis_sim: exists e1 x1 x2.(v_talk(e1) & n_woman(x1) & exists x3 x4.(on(x3,x4) & n_woman(x3) & n_motorcyle(x4) & (x2 = x3)) & card_eq_3(x1) & Actor(e1,x1))