premise: A woman in black walks past a shop selling a t-shirt depicting a tattooed woman smoking a cigarette.
hypothesis: A woman is sitting on a train.
explanation_1: The woman cannot be sitting and walk simultaneously
explanation_2: You can either walk or be sitting.
explanation_3: You can’t walk past a shop if you are sitting on a train
premise_logic: exists e2 e1 e4 e3 s1 x1 x2 x3 x4 x5 x6 x7 x8 x9.(past(e1,x3) & Theme(e4,x5) & Actor(e4,x4) & v_sell(e4) & Theme(e3,x7) & Actor(e3,x6) & v_depict(e3) & Theme(e2,x9) & Actor(e2,x8) & v_smoke(e2) & n_cigarette(x9) & (x7 = x8) & n_woman(x7) & a_tattooed(s1) & Theme(s1,x7) & (x5 = x6) & n_t-shirt(x5) & (x3 = x4) & n_shop(x3) & Actor(e1,x1) & v_walk(e1) & in(x1,x2) & n_black(x2) & n_woman(x1))
hypothesis_logic: exists e1 x1 x2.(on(e1,x2) & n_train(x2) & Actor(e1,x1) & v_sit(e1) & n_woman(x1))