premise: Two teams of children, one green the other red, play each other in a game of Rugby while it rains.
hypothesis: The children rugby team are playing again after a short rain delay.
explanation_1: You can not infer there was a rain delay.
explanation_2: We have no idea if they play after a short rain delay, they might not have had a delay at all.
explanation_3: The two teams of children could be playing for the first time. Children playing while it rains means it is still raining. Short rain delay means that it is no longer raining.
premise_logic: exists x1 x2 x3 x4 x5 x8.(n_thing(x5) & ne_org_rugby(x8) & n_red(x5) & all x6.(n_other(x6) -> exists e1 p1 x7.(exists e2.(Actor(e2,x5) & v_rain(e2)) & while(e1,p1) & in(e1,x7) & of(x7,x8) & n_game(x7) & Theme(e1,x6) & Actor(e1,x1) & v_play(e1))) & of(x1,x2) & rel(x2,x3) & -(x4 = x5) & n_red(x4) & (x3 = x4) & n_green(x3) & card_eq_1(x3) & n_child(x2) & n_team(x1) & card_eq_2(x1))
hypothesis_logic: exists e1 e2 s1 s2 x1 x2 x3 x4 x5.(n_child(x1) & after(e2,x4) & n_delay(x4) & of(x4,x5) & n_rain(x5) & a_short(s2) & Theme(s2,x4) & a_again(s1) & Manner(e2,s1) & Actor(e2,x1) & v_play(e2) & Theme(e1,x3) & Actor(e1,x2) & v_rugby(e1) & n_team(x3) & (x1 = x2))
premise_sim: exists x1 x2 x3 x4 x5 x8.(rel(x2,x3) & of(x1,x2) & ne_org_rugby(x8) & n_thing(x5) & n_team(x1) & n_red(x5) & n_red(x4) & n_green(x3) & n_child(x2) & card_eq_2(x1) & card_eq_1(x3) & all x6.(exists e1 p1 x7.(while(e1,p1) & v_play(e1) & of(x7,x8) & n_game(x7) & in(e1,x7) & exists e2.(v_rain(e2) & Actor(e2,x5)) & Theme(e1,x6) & Actor(e1,x1)) | -n_other(x6)) & -(x4 = x5) & (x3 = x4))
hypothesis_sim: exists e1 e2 s1 s2 x1 x2 x3 x4 x5.(v_rugby(e1) & v_play(e2) & of(x4,x5) & n_team(x3) & n_rain(x5) & n_delay(x4) & n_child(x1) & after(e2,x4) & a_short(s2) & a_again(s1) & Theme(s2,x4) & Theme(e1,x3) & Manner(e2,s1) & Actor(e2,x1) & Actor(e1,x2) & (x1 = x2))