premise: Naked children play on the muddy riverbank.
hypothesis: THE NUDE KIDS PLAYED ON THE RIVERBANK  IN THE MUD JUST TO HAVE A MUD BATH
explanation_1: Kids playing on a muddy bank are not necessarily doing it just to have a mud bath.
explanation_2: Playing on the muddy riverbank does not imply that one is doing it just to have a mud bath.
explanation_3: Children who play on the muddy riverbank don't necessarily they just to have a mud bath.
premise_logic: exists e1 e2 s1 x1 x2.(n_riverbank(x2) & a_muddy(s1) & Theme(s1,x2) & on(e2,x2) & Actor(e2,x1) & v_play(e2) & n_child(x1) & Theme(e1,x1) & v_nake(e1))
hypothesis_logic: exists s1 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12.(ne_nam_bath(x6) & (x6 = x12) & ne_nam_mud(x12) & (x6 = x11) & ne_nam_a(x11) & (x6 = x10) & ne_nam_have(x10) & (x6 = x9) & ne_nam_to(x9) & (x6 = x8) & ne_nam_just(x8) & (x6 = x7) & ne_nam_mud(x7) & ne_nam_riverbank(s1) & (s1 = x5) & ne_nam_the(x5) & (s1 = x4) & ne_nam_on(x4) & (s1 = x3) & ne_nam_played(x3) & (s1 = x2) & ne_nam_kids(x2) & (s1 = x1) & ne_nam_nude(x1) & a_topic(s1) & in(s1,x6))
premise_sim: exists e1 e2 s1 x1 x2.(v_play(e2) & v_nake(e1) & on(e2,x2) & n_riverbank(x2) & n_child(x1) & a_muddy(s1) & Theme(s1,x2) & Theme(e1,x1) & Actor(e2,x1))
hypothesis_sim: exists s1 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12.(ne_nam_to(x9) & ne_nam_the(x5) & ne_nam_riverbank(s1) & ne_nam_played(x3) & ne_nam_on(x4) & ne_nam_nude(x1) & ne_nam_mud(x7) & ne_nam_mud(x12) & ne_nam_kids(x2) & ne_nam_just(x8) & ne_nam_have(x10) & ne_nam_bath(x6) & ne_nam_a(x11) & in(s1,x6) & a_topic(s1) & (x6 = x9) & (x6 = x8) & (x6 = x7) & (x6 = x12) & (x6 = x11) & (x6 = x10) & (s1 = x5) & (s1 = x4) & (s1 = x3) & (s1 = x2) & (s1 = x1))