premise: a boy walks through the water.
hypothesis: A boy walks on water.
explanation_1: Walking through water implies he was on the water.
explanation_2: Walks through water is the same as walks on water.
explanation_3: If he is walking though the water then the water must be shallow enough for him to walk, and then it could be said he is walking on the water.
premise_logic: exists e1 x1 x2.(n_water(x2) & through(e1,x2) & Actor(e1,x1) & v_walk(e1) & n_boy(x1))
hypothesis_logic: exists e1 x1 x2.(on(e1,x2) & n_water(x2) & Actor(e1,x1) & v_walk(e1) & n_boy(x1))