premise: There is a man skateboarding and another nan jumping over his head.
hypothesis: The men are performing for a viral video.
explanation_1: Just because a man is skateboarding and another man jumping over his head it does not mean she is performing a viral video.
premise_logic: exists p1 x1 x5 x8.(n_head(x8) & of(x8,x5) & n_male(x5) & n_nan(x5) & exists e1 x2 x3 x4 x6 x7.((x1 = x2) & subset_of(x6,x2) & over(e1,x8) & Actor(e1,x7) & v_jump(e1) & (x6 = x7) & n_nan(x6) & -(x6 = x5) & subset_of(x3,x2) & n_skateboarding(x3) & of(x3,x4) & n_man(x4)))
hypothesis_logic: exists e1 s1 x1 x2.(n_man(x1) & for(e1,x2) & n_video(x2) & a_viral(s1) & Theme(s1,x2) & Actor(e1,x1) & v_perform(e1))
premise_sim: exists x1 x5 x8.(of(x8,x5) & n_nan(x5) & n_male(x5) & n_head(x8) & exists e1 x2 x3 x4 x6 x7.(v_jump(e1) & subset_of(x6,x2) & subset_of(x3,x2) & over(e1,x8) & of(x3,x4) & n_skateboarding(x3) & n_nan(x6) & n_man(x4) & Actor(e1,x7) & -(x6 = x5) & (x6 = x7) & (x1 = x2)))
hypothesis_sim: exists e1 s1 x1 x2.(v_perform(e1) & n_video(x2) & n_man(x1) & for(e1,x2) & a_viral(s1) & Theme(s1,x2) & Actor(e1,x1))