premise: A police officer is standing with his arms crossed.
hypothesis: A police officer is sitting in his police car, racing towards a criminal.
explanation_1: The officer can be standing or sitting in his car racing towards a criminal but not both.
explanation_2: If a police officer is standing he can not be sitting in a police car.
explanation_3: A police officer cannot be standing and sitting the same time.
premise_logic: exists e1 e2 x1 x2 x3 x4.(with(e1,x3) & Actor(e2,x4) & v_cross(e2) & (x3 = x4) & n_arm(x3) & of(x3,x1) & n_male(x1) & Actor(e1,x1) & v_stand(e1) & n_officer(x1) & of(x1,x2) & n_police(x2))
hypothesis_logic: exists e1 e2 x1 x2 x3 x4.(for(e1,e2) & towards(e2,x4) & n_criminal(x4) & Actor(e2,x1) & v_race(e2) & in(e1,x3) & n_car(x3) & of(x3,x2) & n_police(x2) & n_police(x2) & of(x3,x1) & n_male(x1) & Actor(e1,x1) & v_sit(e1) & n_officer(x1) & of(x1,x2))