premise: A child is looking out of a door.
hypothesis: The child is asleep.
explanation_1: The child cannot simultaneously be asleep and looking out
explanation_2: When one sleeps they cannot be looking out a door.
explanation_3: looking not same as asleep
premise_logic: exists e1 x1 x2.(r_out(e1) & of(e1,x2) & n_door(x2) & Actor(e1,x1) & v_look(e1) & n_child(x1))
hypothesis_logic: exists s1 x1.(n_child(x1) & Theme(s1,x1) & a_asleep(s1))