premise: A man is looking over a small cliff.
hypothesis: The cliff is near the ocean
explanation_1: You can not infer the cliff is near the ocean.
explanation_2: A cliff does not necessarily have to be near an ocean.
explanation_3: Not all cliffs are near an ocean.
premise_logic: exists e1 s1 x1 x2.(over(e1,x2) & n_cliff(x2) & a_small(s1) & Theme(s1,x2) & Actor(e1,x1) & v_look(e1) & n_man(x1))
hypothesis_logic: exists p1 x1 x2.(n_ocean(x2) & n_cliff(x1) & near(x1,x2))