premise: A teenage is on a surfboard.
hypothesis: a teen is catching a big wave
explanation_1: Being on a surfboard does not imply catching a big wave.
explanation_2: Just because a teenage is on a surfboard does not mean he is catching a big wave.
explanation_3: Not all surfers are catching a big wave all the time.
premise_logic: exists p1 x1.(exists x2.(on(x1,x2) & n_surfboard(x2)) & n_teenage(x1))
hypothesis_logic: exists e1 s1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_catch(e1) & n_wave(x2) & a_big(s1) & Theme(s1,x2) & n_teen(x1))