premise: Child squirting paint onto a piece of spin-art.
hypothesis: The child is fast asleep.
explanation_1: A child would not be squirting paint and fast asleep at the same time.
explanation_2: If a child is squirting paint the child is not fast asleep.
explanation_3: The child cannot be asleep if they are squirting paint onto a piece of art.
premise_logic: exists e1 x1 x2 x3 x4.(ne_nam_child(x1) & onto(e1,x3) & of(x3,x4) & n_spin-art(x4) & n_piece(x3) & Theme(e1,x2) & Actor(e1,x1) & v_squirt(e1) & n_paint(x2))
hypothesis_logic: exists p1 x1.(n_child(x1) & exists s1 x2.((x1 = x2) & n_asleep(x2) & a_fast(s1) & Theme(s1,x2)))