premise: Four boys are about to be hit by an approaching wave.
hypothesis: A giant wave is about to crash on some boys.
explanation_1: If the boys are about to be hit by a wave, the wave is about to crash on them.
explanation_2: If the wave is approaching the boys, it will crash on the boys.
explanation_3: If the wave is approaching, they are about to be hit.
premise_logic: exists p1 s1 x1.(Topic(s1,p1) & Actor(s1,x1) & a_about(s1) & exists e2 e1 x2.(Actor(e1,x2) & n_wave(x2) & Actor(e2,x2) & v_approach(e2) & Theme(e1,x1) & v_hit(e1)) & n_boy(x1) & card_eq_4(x1))
hypothesis_logic: exists p1 s1 s2 x1.(Topic(s2,p1) & Actor(s2,x1) & a_about(s2) & exists e1 x2.(on(e1,x2) & n_boy(x2) & Actor(e1,x1) & v_crash(e1)) & n_wave(x1) & a_giant(s1) & Theme(s1,x1))
premise_sim: exists p1 s1 x1.(n_boy(x1) & exists e2 e1 x2.(v_hit(e1) & v_approach(e2) & n_wave(x2) & Theme(e1,x1) & Actor(e2,x2) & Actor(e1,x2)) & card_eq_4(x1) & a_about(s1) & Topic(s1,p1) & Actor(s1,x1))
hypothesis_sim: exists p1 s1 s2 x1.(n_wave(x1) & exists e1 x2.(v_crash(e1) & on(e1,x2) & n_boy(x2) & Actor(e1,x1)) & a_giant(s1) & a_about(s2) & Topic(s2,p1) & Theme(s1,x1) & Actor(s2,x1))