premise: Two college football players battle it out outdoors on the field during game day, where one is the quarterback trying to throw the ball, and the other player is in action about to sack the quarterback.
hypothesis: Some girls playing basketball.
explanation_1: College football is generally played by men, not girls. Also, football and basketball are different sports.
explanation_2: Basketball is not football.
explanation_3: players either would be playing football or basketball
premise_logic: exists e1 p1 s1 x1 x2 x3 x5 x9 x12.(n_quarterback(x9) & n_quarterback(x9) & n_ball(x12) & n_field(x5) & a_out(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_battle(e1) & exists p2 p3 x4 x6 x7.(exists e4 p6 x13 x14.(in(x4,x13) & Topic(e4,p6) & Actor(e4,x14) & v_about(e4) & exists e5.(Theme(e5,x9) & Actor(e5,x14) & v_sack(e5)) & (x13 = x14) & n_action(x13)) & during(x4,x6) & exists p4 x8.(exists e2 p5 x10.((x8 = x9) & Topic(e2,p5) & Actor(e2,x10) & v_try(e2) & exists e3 x11.(Theme(e3,x11) & Actor(e3,x10) & v_throw(e3) & subset_of(x1,x11) & subset_of(x12,x11)) & (x9 = x10)) & n_thing(x8) & card_eq_1(x8)) & where(x6,p2) & n_day(x6) & of(x6,x7) & n_game(x7) & on(x4,x5) & n_outdoors(x4)) & -(x1 = x1) & n_player(x1) & n_player(x1) & that(x2,p1) & n_thing(x2) & of(x1,x3) & n_football(x3) & of(x1,x2) & n_college(x2) & card_eq_2(x1))
hypothesis_logic: exists e1 x1 x2 x3.(a_topic(x1) & Theme(e1,x3) & Actor(e1,x2) & v_play(e1) & n_basketball(x3) & (x1 = x2) & n_girl(x1))