premise: Two people are surfing in the ocean.
hypothesis: The two people have surfboards.
explanation_1: If two people are described as surfing in the ocean then this indicates that they have surfboards.
explanation_2: If the people have surfboards, they are surfing.
explanation_3: If the people are surfing in the ocean, they have surfboards.
premise_logic: exists e1 x1 x2.(n_ocean(x2) & in(e1,x2) & Actor(e1,x1) & v_surf(e1) & n_people(x1) & card_eq_2(x1))
hypothesis_logic: exists e1 x1 x2.(n_people(x1) & card_eq_2(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_surfboard(x2))