premise: The soccer player is midair near an opponents goal.
hypothesis: A soccer player is about to score a goal.
explanation_1: Just because a soccer player is midair near an opponents goal doesn't imply player is about to score a goal.   .
premise_logic: exists p1 x1 x2 x3 x4.(n_player(x1) & of(x1,x2) & n_soccer(x2) & near(p1,x4) & n_opponent(x4) & Time(p1,x3) & n_midair(x3) & exists x5.((x1 = x5) & n_goal(x5)))
hypothesis_logic: exists p1 x1 x2 x3.(to(p1,x3) & n_score(x3) & exists x4.(about(x1,x4) & n_goal(x4)) & n_player(x1) & of(x1,x2) & n_soccer(x2))
premise_sim: exists p1 x1 x2 x3 x4.(of(x1,x2) & near(p1,x4) & n_soccer(x2) & n_player(x1) & n_opponent(x4) & n_midair(x3) & exists x5.(n_goal(x5) & (x1 = x5)) & Time(p1,x3))
hypothesis_sim: exists p1 x1 x2 x3.(to(p1,x3) & of(x1,x2) & n_soccer(x2) & n_score(x3) & n_player(x1) & exists x4.(n_goal(x4) & about(x1,x4)))