premise: A man in blue pants is working in a factory.
hypothesis: The man has been working at the factory for ten years.
explanation_1: A man working in a factory could have been employed for years or he may have just started with many options in between so we can not assume he has been working for ten years.
premise_logic: exists e1 s1 x1 x2 x3.(in(e1,x3) & n_factory(x3) & Actor(e1,x1) & v_work(e1) & in(x1,x2) & n_pants(x2) & a_blue(s1) & Theme(s1,x2) & n_man(x1))
hypothesis_logic: exists e1 x1 x2 x3.(n_factory(x2) & n_man(x1) & for(e1,x3) & n_year(x3) & card_eq_10(x3) & at(e1,x2) & Actor(e1,x1) & v_work(e1))
premise_sim: exists e1 s1 x1 x2 x3.(v_work(e1) & n_pants(x2) & n_man(x1) & n_factory(x3) & in(x1,x2) & in(e1,x3) & a_blue(s1) & Theme(s1,x2) & Actor(e1,x1))
hypothesis_sim: exists e1 x1 x2 x3.(v_work(e1) & n_year(x3) & n_man(x1) & n_factory(x2) & for(e1,x3) & card_eq_10(x3) & at(e1,x2) & Actor(e1,x1))