premise: Two young girls, one wearing a pink jacket and the other in a dark-colored jacket, are playing in the snow and having a snowball fight in a clearing outside of a wooded area.
hypothesis: Two girls are playing
explanation_1: Girls playing in the snow implies they are playing.
explanation_2: Sentence 2 restates Sentence 1 with less detail: two girls are playing.
explanation_3: Sentence 1 indicates what the girls are playing and where.  Sentence 2 only indicates the girls are playing.
premise_logic: exists e1 e4 e3 e2 s1 s2 s3 s4 s5 s6 s7 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20.(n_other(x14) & n_snow(x8) & n_other(x6) & Theme(e4,x16) & Actor(e4,x9) & v_have(e4) & in(x16,x18) & of(x19,x20) & n_area(x20) & a_wooded(s7) & Theme(s7,x20) & outside(x18,x19) & n_thing(x19) & n_clearing(x18) & n_fight(x16) & of(x16,x17) & n_snowball(x17) & rel(x9,x10) & subset_of(x14,x10) & in(x14,x15) & n_jacket(x15) & a_dark-colored(s6) & Theme(s6,x15) & subset_of(x11,x10) & Theme(e3,x13) & Actor(e3,x12) & v_wear(e3) & n_jacket(x13) & a_pink(s5) & Theme(s5,x13) & (x11 = x12) & n_thing(x11) & card_eq_1(x11) & n_girl(x9) & a_young(s4) & Theme(s4,x9) & card_eq_2(x9) & in(e2,x8) & Actor(e2,x1) & v_play(e2) & rel(x1,x2) & subset_of(x6,x2) & in(x6,x7) & n_jacket(x7) & a_dark-colored(s3) & Theme(s3,x7) & subset_of(x3,x2) & Theme(e1,x5) & Actor(e1,x4) & v_wear(e1) & n_jacket(x5) & a_pink(s2) & Theme(s2,x5) & (x3 = x4) & n_thing(x3) & card_eq_1(x3) & n_girl(x1) & a_young(s1) & Theme(s1,x1) & card_eq_2(x1))
hypothesis_logic: exists e1 x1.(Actor(e1,x1) & v_play(e1) & n_girl(x1) & card_eq_2(x1))