premise: Buddhist priest blessing his worshipers.
hypothesis: a priest has tattoos
explanation_1: Not all buddhists are priest with tattoos.
explanation_2: Not all priests have tattoos.
explanation_3: Not all Buddhist priests have tattoos.
premise_logic: (x)
hypothesis_logic: exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_tattoo(x2) & n_priest(x1))