premise: One tan girl with a wool hat is running and leaning over an object, while another person in a wool hat is sitting on the ground.
hypothesis: A tan girl runs leans over an object
explanation_1: If the tan girl is running and leaning over an object then she runs and leans over an object.
explanation_2: A girl is running while leaning over an object.
explanation_3: A tan girl runs and leans over an object.
premise_logic: exists e2 e1 p1 p2 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8 x9 x13 x14 x18.(n_ground(x18) & n_person(x14) & n_ground(x13) & n_person(x9) & exists e4 x15 x16 x17.(on(e4,x18) & Actor(e4,x15) & v_sit(e4) & in(x15,x16) & n_hat(x16) & of(x16,x17) & n_wool(x17) & n_person(x15) & -(x15 = x14)) & while(e2,p2) & over(e2,x8) & n_object(x8) & Actor(e2,x5) & v_lean(e2) & with(x5,x6) & n_hat(x6) & of(x6,x7) & n_wool(x7) & n_girl(x5) & a_tan(s2) & Theme(s2,x5) & card_eq_1(x5) & exists e3 x10 x11 x12.(on(e3,x13) & Actor(e3,x10) & v_sit(e3) & in(x10,x11) & n_hat(x11) & of(x11,x12) & n_wool(x12) & n_person(x10) & -(x10 = x9)) & while(e1,p1) & over(e1,x4) & n_object(x4) & Actor(e1,x1) & v_run(e1) & with(x1,x2) & n_hat(x2) & of(x2,x3) & n_wool(x3) & n_girl(x1) & a_tan(s1) & Theme(s1,x1) & card_eq_1(x1))
hypothesis_logic: exists e1 s1 x1 x2 x3.(over(e1,x3) & n_object(x3) & Theme(e1,x2) & Actor(e1,x1) & v_run(e1) & n_lean(x2) & n_girl(x1) & a_tan(s1) & Theme(s1,x1))