premise: A soccer player in white kicks a ball as another soccer player lunges towards the ball and a third soccer player in red follows close by.
hypothesis: There are three soccer players.
explanation_1: A soccer player kicking the ball to another player and then there is another player close by means there are three soccer players.
explanation_2: A soccer player, another soccer player and a third soccer player equal three soccer players.
explanation_3: "A third soccer player " indicates that there are three soccer players.
premise_logic: exists x1 x2 x5.(all x3.((n_ball(x3) & n_ball(x3)) -> exists e1 p1 s1 s2 x4.(r_close(e1) & a_by(s2) & Manner(e1,s2) & Actor(e1,x1) & v_follow(e1) & exists e2 s3 x6 x7 x8 x9 x10 x11.(towards(e2,x8) & subset_of(x9,x8) & in(x9,x11) & n_red(x11) & n_player(x9) & of(x9,x10) & n_soccer(x10) & a_third(s3) & Theme(s3,x9) & subset_of(x3,x8) & Actor(e2,x6) & v_lunge(e2) & n_player(x6) & of(x6,x7) & n_soccer(x7) & -(x6 = x1)) & as(x1,p1) & in(x1,x4) & for(x4,x3) & n_kick(x4) & a_white(s1) & Theme(s1,x4))) & n_player(x1) & n_player(x1) & of(x1,x5) & n_soccer(x5) & of(x1,x2) & n_soccer(x2))
hypothesis_logic: exists p1 x1 x2 x3.((x1 = x2) & n_player(x2) & of(x2,x3) & n_soccer(x3) & card_eq_3(x2))
premise_sim: exists x1 x2 x5.(of(x1,x5) & of(x1,x2) & n_soccer(x5) & n_soccer(x2) & n_player(x1) & all x3.(exists e1 p1 s1 s2 x4.(v_follow(e1) & r_close(e1) & n_kick(x4) & in(x1,x4) & for(x4,x3) & exists e2 s3 x6 x7 x8 x9 x10 x11.(v_lunge(e2) & towards(e2,x8) & subset_of(x9,x8) & subset_of(x3,x8) & of(x9,x10) & of(x6,x7) & n_soccer(x7) & n_soccer(x10) & n_red(x11) & n_player(x9) & n_player(x6) & in(x9,x11) & a_third(s3) & Theme(s3,x9) & Actor(e2,x6) & -(x6 = x1)) & as(x1,p1) & a_white(s1) & a_by(s2) & Theme(s1,x4) & Manner(e1,s2) & Actor(e1,x1)) | -n_ball(x3)))
hypothesis_sim: exists x1 x2 x3.(of(x2,x3) & n_soccer(x3) & n_player(x2) & card_eq_3(x2) & (x1 = x2))