premise: The back of two women looking at something which ca n't be seen but the reflection of one of the women can be seen in the mirror on the table.
hypothesis: The women are gazing at an item.
explanation_1: The fact that the back of two women looking at something which ca n't be seen but the reflection of one of the women can be seen in the mirror on the table implies the women are gazing at an item.
premise_logic: exists e1 e2 p1 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10.(n_table(x10) & n_mirror(x9) & n_reflection(x7) & n_back(x1) & exists e5.(on(e5,x10) & in(e5,x9) & Theme(e5,x1) & v_see(e5)) & Topic(e2,p1) & Actor(e2,x1) & v_can(e2) & of(x1,x2) & at(e1,x4) & subset_of(x7,x4) & of(x7,x8) & of(x8,x2) & n_woman(x2) & n_woman(x2) & n_thing(x8) & card_eq_1(x8) & subset_of(x5,x4) & -exists e3 p2.(exists e4.(Theme(e4,x6) & v_see(e4)) & Topic(e3,p2) & Actor(e3,x6) & v_can(e3)) & (x5 = x6) & n_thing(x5) & Actor(e1,x3) & v_look(e1) & (x2 = x3) & card_eq_2(x2))
hypothesis_logic: exists e1 x1 x2.(n_woman(x1) & at(e1,x2) & n_item(x2) & Actor(e1,x1) & v_gaze(e1))
premise_sim: exists e1 e2 p1 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10.(v_look(e1) & v_can(e2) & subset_of(x7,x4) & subset_of(x5,x4) & of(x8,x2) & of(x7,x8) & of(x1,x2) & n_woman(x2) & n_thing(x8) & n_thing(x5) & n_table(x10) & n_reflection(x7) & n_mirror(x9) & n_back(x1) & exists e5.(v_see(e5) & on(e5,x10) & in(e5,x9) & Theme(e5,x1)) & card_eq_2(x2) & card_eq_1(x8) & at(e1,x4) & all e3 p2.(all e4.(-v_see(e4) | -Theme(e4,x6)) | -v_can(e3) | -Topic(e3,p2) | -Actor(e3,x6)) & Topic(e2,p1) & Actor(e2,x1) & Actor(e1,x3) & (x5 = x6) & (x2 = x3))
hypothesis_sim: exists e1 x1 x2.(v_gaze(e1) & n_woman(x1) & n_item(x2) & at(e1,x2) & Actor(e1,x1))