premise: A big dog catches a ball on his nose
hypothesis: A big dog is sitting down while trying to catch a ball
explanation_1: There is no way to know that the dog is sitting down because he catches a ball on his nose.
explanation_2: There is no indication that the dog is sitting down while playing catch on his nose.
explanation_3: A dog can catch a ball by not to sitting down.
premise_logic: exists e1 s1 x1 x2 x3.(Theme(e1,x2) & Actor(e1,x1) & v_catch(e1) & on(x2,x3) & n_nose(x3) & of(x3,x1) & n_male(x1) & n_ball(x2) & n_dog(x1) & a_big(s1) & Theme(s1,x1))
hypothesis_logic: exists e1 e2 p1 s1 s2 x1.(while(e1,e2) & Topic(e2,p1) & Actor(e2,x1) & v_try(e2) & exists e3 x2.(Theme(e3,x2) & Actor(e3,x1) & v_catch(e3) & n_ball(x2)) & a_down(s2) & Manner(e1,s2) & Actor(e1,x1) & v_sit(e1) & n_dog(x1) & a_big(s1) & Theme(s1,x1))