premise: A skater goes through a course.
hypothesis: A skater is sleeping.
explanation_1: Answer: A skater can either go through the course or be sleeping
explanation_2: If you are sleeping you could not also be going through a course.
explanation_3: The skater cannot go through a course while sleeping.
premise_logic: exists e1 x1 x2.(through(e1,x2) & n_course(x2) & Actor(e1,x1) & v_go(e1) & n_skater(x1))
hypothesis_logic: exists e1 x1.(Actor(e1,x1) & v_sleep(e1) & n_skater(x1))