premise: A mom and son enjoying a day in the park.
hypothesis: A mom and son enjoying a day on mars
explanation_1: They cannot simultaneously be on mars and at the park, and people do not go to mars
explanation_2: The park is not on Mars.
explanation_3: A mom and son are enjoying a day either in the park or on mars.
premise_logic: exists e1 s1 x1 x2 x3 x4 x5.(n_park(x5) & a_topic(s1) & subset_of(x2,s1) & in(e1,x5) & Theme(e1,x4) & Actor(e1,x3) & v_enjoy(e1) & n_day(x4) & (x2 = x3) & n_son(x2) & subset_of(x1,s1) & n_mom(x1))
hypothesis_logic: exists e1 s1 x1 x2 x3 x4 x5.(a_topic(s1) & subset_of(x2,s1) & Theme(e1,x4) & Actor(e1,x3) & v_enjoy(e1) & on(x4,x5) & n_mar(x5) & n_day(x4) & (x2 = x3) & n_son(x2) & subset_of(x1,s1) & n_mom(x1))