premise: An old man is wearing eyeglass.
hypothesis: The old mean is not wearing eyeglasses.
explanation_1: Totally opposite and contradictory statements in the old man not wearing eyeglasses as against old man wearing eyeglasses in first sentence.
premise_logic: exists e1 s1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_eyeglass(x2) & n_man(x1) & a_old(s1) & Theme(s1,x1))
hypothesis_logic: exists s1 x1.(n_mean(x1) & a_old(s1) & Theme(s1,x1) & -exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_eyeglass(x2)))
premise_sim: exists e1 s1 x1 x2.(v_wear(e1) & n_man(x1) & n_eyeglass(x2) & a_old(s1) & Theme(s1,x1) & Theme(e1,x2) & Actor(e1,x1))
hypothesis_sim: exists s1 x1.(n_mean(x1) & all e1 x2.(-v_wear(e1) | -n_eyeglass(x2) | -Theme(e1,x2) | -Actor(e1,x1)) & a_old(s1) & Theme(s1,x1))