premise: A goalie in white runs for an approaching ball while the opponent in red who kicked it waits.
hypothesis: The goalie is sleeping at home.
explanation_1: If the goalie is sleeping at home, it is physically impossible for him to run for an approaching ball.
explanation_2: The goalie cannot be sleeping and runs at the same time.
explanation_3: The goalie cannot be sleeping at home if he is running for an approaching ball.
premise_logic: (x)
hypothesis_logic: exists e1 x1 x2.(n_goalie(x1) & at(e1,x2) & n_home(x2) & Actor(e1,x1) & v_sleep(e1))