premise: Two overweight men work on blue car.
hypothesis: Don't eat and drive while two men are heavy
explanation_1: The blue car would need to be turned off if the men were working on the car.  The two men can not drive the car if they are working on it.
premise_logic: exists e1 s1 s2 x1 x2.(on(e1,x2) & n_car(x2) & a_blue(s2) & Theme(s2,x2) & Actor(e1,x1) & v_work(e1) & n_man(x1) & a_overweight(s1) & Theme(s1,x1) & card_eq_2(x1))
hypothesis_logic: exists x1.(-exists e2 e1 p1.(exists s1 x2.(Theme(s1,x2) & a_heavy(s1) & n_man(x2) & card_eq_2(x2)) & while(e2,p1) & Actor(e2,x1) & v_drive(e2) & Actor(e1,x1) & v_eat(e1)) & n_thing(x1))
premise_sim: exists e1 s1 s2 x1 x2.(v_work(e1) & on(e1,x2) & n_man(x1) & n_car(x2) & card_eq_2(x1) & a_overweight(s1) & a_blue(s2) & Theme(s2,x2) & Theme(s1,x1) & Actor(e1,x1))
hypothesis_sim: exists x1.(n_thing(x1) & all e2 e1 p1.(all s1 x2.(-n_man(x2) | -card_eq_2(x2) | -a_heavy(s1) | -Theme(s1,x2)) | -while(e2,p1) | -v_eat(e1) | -v_drive(e2) | -Actor(e2,x1) | -Actor(e1,x1)))