premise: A man sits as a man behind him washes a bus.
hypothesis: One man works, another man works on his sitting.
explanation_1: Washes a bus indicates that the man works
explanation_2: Answer: Sits is the same as on his siting.
explanation_3: One man is sitting while one man is working.
premise_logic: exists e1 p1 x1.(exists e2 x2 x3.(Theme(e2,x3) & Actor(e2,x2) & v_wash(e2) & n_bus(x3) & behind(x2,x1) & n_man(x2)) & n_male(x1) & as(e1,p1) & Actor(e1,x1) & v_sit(e1) & n_man(x1))
hypothesis_logic: exists e1 e3 e2 x1 x2 x3 x4.(on(e2,x3) & Actor(e3,x4) & v_sit(e3) & (x3 = x4) & n_his(x3) & Actor(e2,x2) & v_work(e2) & n_man(x2) & -(x2 = x1) & n_man(x1) & n_man(x1) & Actor(e1,x1) & v_work(e1) & card_eq_1(x1))