premise: Young man engraves Arabic writing into a stone.
hypothesis: Young man is engraving into a stone.
explanation_1: A young man that engraves Arabic writing into a stone is definitely engraving into a stone.
explanation_2: Engraves Arabic writing is a form of engraving.
explanation_3: Engraves Arabic writing is a more specific type of engraving. The rest of the sentences are identical.
premise_logic: exists e1 s1 s2 x1 x2 x3.(into(e1,x3) & n_stone(x3) & Theme(e1,x2) & Actor(e1,x1) & v_engrave(e1) & n_writing(x2) & a_arabic(s2) & Theme(s2,x2) & n_man(x1) & a_young(s1) & Theme(s1,x1))
hypothesis_logic: exists e1 s1 x1 x2.(into(e1,x2) & n_stone(x2) & Actor(e1,x1) & v_engrave(e1) & n_man(x1) & a_young(s1) & Theme(s1,x1))