premise: Women wearing a black top and glasses speaking into a blue tipped microphone with another woman beside her writing.
hypothesis: Two shabbily dressed women hold mics as they compete in a rap battle in front of a cheering crowd.
explanation_1: women speaking implies at least two plus one writing so it couldn't be two women to compete
explanation_2: The audience is either a woman writing or a cheering crowd.
explanation_3: If one woman is speaking into a microphone while another woman is writing, then it cannot be claimed that both women hold mics. If one woman is speaking into a microphone while another woman is writing, the women can't be said to be competing in a rap battle.
premise_logic: exists e2 e1 s1 s2 s3 x1 x2 x3 x4 x5 x6.(beside(e2,x6) & n_writing(x6) & of(x6,x1) & n_female(x1) & into(e2,x4) & with(x4,x5) & n_woman(x5) & -(x5 = x1) & n_woman(x1) & n_woman(x1) & n_microphone(x4) & a_tipped(s3) & Theme(s3,x4) & a_blue(s2) & Theme(s2,x4) & Actor(e2,x3) & v_speak(e2) & n_glass(x3) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_top(x2) & a_black(s1) & Theme(s1,x2))
hypothesis_logic: exists e2 e1 p1 x1 x2.(exists e3 e4 x3 x4 x5 x6.(in(e3,x3) & in(x3,x5) & of(x5,x6) & n_crowd(x6) & Actor(e4,x6) & v_cheer(e4) & n_front(x5) & n_battle(x3) & of(x3,x4) & n_rap(x4) & Actor(e3,x1) & v_compete(e3)) & n_thing(x1) & as(e2,p1) & Theme(e2,x2) & Actor(e2,x1) & v_hold(e2) & n_mic(x2) & n_woman(x1) & Theme(e1,x1) & v_dress(e1) & r_shabbily(x1) & card_eq_2(x1))
premise_sim: exists e2 e1 s1 s2 s3 x1 x2 x3 x4 x5 x6.(with(x4,x5) & v_wear(e1) & v_speak(e2) & of(x6,x1) & n_writing(x6) & n_woman(x5) & n_woman(x1) & n_top(x2) & n_microphone(x4) & n_glass(x3) & n_female(x1) & into(e2,x4) & beside(e2,x6) & a_tipped(s3) & a_blue(s2) & a_black(s1) & Theme(s3,x4) & Theme(s2,x4) & Theme(s1,x2) & Theme(e1,x2) & Actor(e2,x3) & Actor(e1,x1) & -(x5 = x1))
hypothesis_sim: exists e2 e1 p1 x1 x2.(v_hold(e2) & v_dress(e1) & r_shabbily(x1) & n_woman(x1) & n_thing(x1) & n_mic(x2) & exists e3 e4 x3 x4 x5 x6.(v_compete(e3) & v_cheer(e4) & of(x5,x6) & of(x3,x4) & n_rap(x4) & n_front(x5) & n_crowd(x6) & n_battle(x3) & in(x3,x5) & in(e3,x3) & Actor(e4,x6) & Actor(e3,x1)) & card_eq_2(x1) & as(e2,p1) & Theme(e2,x2) & Theme(e1,x1) & Actor(e2,x1))