premise: A man surfs on a medium sized wave while holding a paddle that seems to steer him in the direction he wants to go.
hypothesis: An extreme kayaker steers the treacherous waters
explanation_1: A man surging is not assumed to be an extreme kayaker.  A medium sized wave does not imply treacherous waters.
explanation_2: Not every surfer is an extreme kayaker. Not all surfers can steer treacherous waters.
explanation_3: Not all men are an extreme kayaker.
premise_logic: exists e2 e1 e3 p1 s1 s2 x1 x2 x3 x4 x5.(n_direction(x5) & while(e1,e3) & Theme(e3,x3) & Actor(e3,x1) & v_hold(e3) & Topic(e2,p1) & Actor(e2,x4) & v_seem(e2) & exists e4 p2 x1.(in(e4,x5) & exists e5 p3.(Topic(e5,p3) & Actor(e5,x1) & v_want(e5) & exists e6.(Actor(e6,x1) & v_go(e6))) & n_male(x1) & that(x5,p2) & Theme(e4,x1) & Actor(e4,x4) & v_steer(e4)) & n_male(x1) & (x3 = x4) & n_paddle(x3) & on(e1,x2) & n_wave(x2) & a_sized(s2) & Theme(s2,x2) & a_medium(s1) & Theme(s1,x2) & Actor(e1,x1) & v_surf(e1) & n_man(x1))
hypothesis_logic: exists e1 s1 s2 x1 x2.(n_waters(x2) & a_treacherous(s2) & Theme(s2,x2) & Theme(e1,x2) & Actor(e1,x1) & v_steer(e1) & n_kayaker(x1) & a_extreme(s1) & Theme(s1,x1))