premise: Shadowed cyclist jumps over camera at sunset as shadowed photographer films.
hypothesis: A skater is being photographed.
explanation_1: A skater and cyclist are two different actions.
explanation_2: It must be either a cyclist or a skater being photographed.
explanation_3: If you are a cyclist, you are not skating.
premise_logic: exists e1 s1 x1 x2 x3 x4 x5 x6.(a_topic(x1) & as(x1,x5) & n_film(x5) & of(x5,x6) & n_photographer(x6) & a_shadowed(s1) & Theme(s1,x5) & at(x1,x4) & n_sunset(x4) & over(x1,x3) & n_camera(x3) & n_jump(x1) & of(x1,x2) & n_cyclist(x2) & Theme(e1,x1) & v_shadow(e1))
hypothesis_logic: exists e1 x1.(Theme(e1,x1) & v_photograph(e1) & n_skater(x1))