premise: A young face-painted boy is sucking his thumb.
hypothesis: The boy is not sucking his thumb.
explanation_1: A boy sucking his thumb contradicts a boy not sucking his thumb.
explanation_2: The boy is either sucking his thumb or is not.
explanation_3: A boy cannot be sucking his thumb, and not sucking his thumb at the same time
premise_logic: exists e1 s1 s2 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_suck(e1) & n_thumb(x2) & of(x2,x1) & n_male(x1) & n_boy(x1) & a_face-painted(s2) & Theme(s2,x1) & a_young(s1) & Theme(s1,x1))
hypothesis_logic: exists x1 x2.(n_thumb(x2) & of(x2,x1) & n_male(x1) & n_boy(x1) & -exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_suck(e1)))