premise: A police officer on a motorcycle is behind a four door sedan on a road with billboards in the distance.
hypothesis: A police officer on a motorcycle is in pursuit of a four door sedan
explanation_1: Not every police officer on a motorcycle behind a four door sedan is in pursuit. So one can not conclude the officer on a motorcycle is in pursuit of a four door sedan.
premise_logic: exists p1 x1 x2 x3 x8.(n_distance(x8) & exists x4 x5 x6 x7.(behind(x1,x4) & on(x4,x6) & with(x6,x7) & in(x7,x8) & n_billboard(x7) & n_road(x6) & n_sedan(x4) & of(x4,x5) & n_door(x5) & card_eq_4(x4)) & on(x1,x3) & n_motorcycle(x3) & n_officer(x1) & of(x1,x2) & n_police(x2))
hypothesis_logic: exists p1 x1 x2 x3.(exists x4 x5 x6.(in(x1,x4) & of(x4,x5) & n_sedan(x5) & of(x5,x6) & n_door(x6) & card_eq_4(x5) & n_pursuit(x4)) & on(x1,x3) & n_motorcycle(x3) & n_officer(x1) & of(x1,x2) & n_police(x2))
premise_sim: exists x1 x2 x3 x8.(on(x1,x3) & of(x1,x2) & n_police(x2) & n_officer(x1) & n_motorcycle(x3) & n_distance(x8) & exists x4 x5 x6 x7.(with(x6,x7) & on(x4,x6) & of(x4,x5) & n_sedan(x4) & n_road(x6) & n_door(x5) & n_billboard(x7) & in(x7,x8) & card_eq_4(x4) & behind(x1,x4)))
hypothesis_sim: exists x1 x2 x3.(on(x1,x3) & of(x1,x2) & n_police(x2) & n_officer(x1) & n_motorcycle(x3) & exists x4 x5 x6.(of(x5,x6) & of(x4,x5) & n_sedan(x5) & n_pursuit(x4) & n_door(x6) & in(x1,x4) & card_eq_4(x5)))