premise: Two monks are visiting a big city.
hypothesis: The monks are dressed in their robes enjoying the big city.
explanation_1: Visiting implies enjoying.
explanation_2: Monks are enjoying visiting the city in their robes.
explanation_3: The monks include two monks and as they are visiting a big city so must be enjoying the big city.
premise_logic: exists e1 s1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_visit(e1) & n_city(x2) & a_big(s1) & Theme(s1,x2) & n_monk(x1) & card_eq_2(x1))
hypothesis_logic: exists e2 e1 s1 x1 x2 x3.(n_city(x3) & a_big(s1) & Theme(s1,x3) & n_robe(x2) & of(x2,x1) & n_thing(x1) & n_monk(x1) & for(e1,e2) & Theme(e2,x3) & Actor(e2,x1) & v_enjoy(e2) & in(e1,x2) & Theme(e1,x1) & v_dress(e1))