premise: A guy gettin lots of air on a skateboard at a skatepark
hypothesis: A man asleep on his snowboard.
explanation_1: A man cannot be asleep and on a snowboard at the same time.  Also a skateboard and a snowboard are not the same thing.
explanation_2: The man cannot be getting air on a skateboard and asleep at the same time.
explanation_3: The first sentence is about a man catching air on a skateboard which is impossible to do while sleeping, so the second sentence is clearly about somebody else sleeping on his snowboard, which is also contradictory to the first sentence because skateboards and snowboards are used for two different sports. One has wheels, the other does not.
premise_logic: exists x1 x2 x3 x4 x5 x6.(a_topic(x1) & of(x1,x4) & on(x4,x5) & at(x5,x6) & n_skatepark(x6) & n_skateboard(x5) & n_air(x4) & n_lot(x1) & of(x1,x3) & n_gettin(x3) & of(x1,x2) & n_guy(x2))
hypothesis_logic: exists x1 x2 x3.(a_topic(x1) & on(x1,x3) & n_snowboard(x3) & of(x3,x1) & n_male(x1) & n_asleep(x1) & of(x1,x2) & n_man(x2))
premise_sim: exists x1 x2 x3 x4 x5 x6.(on(x4,x5) & of(x1,x4) & of(x1,x3) & of(x1,x2) & n_skatepark(x6) & n_skateboard(x5) & n_lot(x1) & n_guy(x2) & n_gettin(x3) & n_air(x4) & at(x5,x6) & a_topic(x1))
hypothesis_sim: exists x1 x2 x3.(on(x1,x3) & of(x3,x1) & of(x1,x2) & n_snowboard(x3) & n_man(x2) & n_male(x1) & n_asleep(x1) & a_topic(x1))