premise: A skateboard is grinding on a curb with his skateboard.
hypothesis: The skateboard is resting.
explanation_1: while the skateboard is grinding on a curb it cannot be resting.
explanation_2: One can't be resting and grinding at the same time
explanation_3: The skateboard would not be grinding on a curb if it is resting.
premise_logic: exists e1 x1 x2 x3.(on(e1,x2) & with(x2,x3) & n_skateboard(x3) & of(x3,x1) & n_male(x1) & n_curb(x2) & Actor(e1,x1) & v_grind(e1) & n_skateboard(x1))
hypothesis_logic: exists e1 x1.(n_skateboard(x1) & Actor(e1,x1) & v_rest(e1))