premise: A bundled up toddler is walking over snow.
hypothesis: A toddler is outside.
explanation_1: The toddler is outside because he/she is walking over snow.
explanation_2: Snow only falls outside. So if a toddler is walking over snow, that toddler logically is outside.
explanation_3: The person is a toddler because he/she is a bundled up toddler.
premise_logic: exists e2 e1 s1 x1 x2.(over(e2,x2) & n_snow(x2) & Actor(e2,x1) & v_walk(e2) & n_toddler(x1) & a_up(s1) & Theme(s1,x1) & Theme(e1,x1) & v_bundle(e1))
hypothesis_logic: exists s1 x1.(Theme(s1,x1) & a_outside(s1) & n_toddler(x1))