premise: A woman wearing sunglasses is frowning.
hypothesis: A woman wearing sunglasses is not smiling.
explanation_1: Frowning is the opposite of smiling.
explanation_2: A woman frowning is not smiling.
explanation_3: Frowning is not smiling.
premise_logic: exists e2 e1 x1 x2 x3.(Actor(e2,x1) & v_frown(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_sunglass(x3) & (x1 = x2) & n_woman(x1))
hypothesis_logic: exists e1 x1 x2 x3.(-exists e2.(Actor(e2,x1) & v_smile(e2)) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_sunglass(x3) & (x1 = x2) & n_woman(x1))