premise: A little girl is sitting on a bench in a park.
hypothesis: The little girl is sitting at home on the couch.
explanation_1: One cannot be at home and in a park simultaneously
explanation_2: The girl can't be both at home and at the park.
explanation_3: She can't be both home and in the park.
premise_logic: exists e1 s1 x1 x2 x3.(in(e1,x3) & n_park(x3) & on(e1,x2) & n_bench(x2) & Actor(e1,x1) & v_sit(e1) & n_girl(x1) & a_little(s1) & Theme(s1,x1))
hypothesis_logic: exists e1 s1 x1 x2 x3.(n_couch(x3) & n_girl(x1) & a_little(s1) & Theme(s1,x1) & on(e1,x3) & at(e1,x2) & n_home(x2) & Actor(e1,x1) & v_sit(e1))