premise: a dog about to jump to catch a Frisbee
hypothesis: The dog is going to catch a baseball.
explanation_1: a baseball is small and round, a frisbee is round and flat
explanation_2: A Frisbee and a baseball are different objects.
explanation_3: dog can't catch baseball if about to jump to catch frisbee
premise_logic: exists p1 s1 x1 x2.(a_topic(x1) & Topic(s1,p1) & Actor(s1,x2) & a_about(s1) & exists e1 p2.(Topic(e1,p2) & exists e2 x3.(Theme(e2,x3) & Actor(e2,x2) & v_catch(e2) & n_frisbee(x3)) & Actor(e1,x2) & v_jump(e1)) & (x1 = x2) & n_dog(x1))
hypothesis_logic: exists e1 p1 x1.(n_dog(x1) & Topic(e1,p1) & Actor(e1,x1) & v_go(e1) & exists e2 x2.(Theme(e2,x2) & Actor(e2,x1) & v_catch(e2) & n_baseball(x2)))