premise: The Wine Shop
hypothesis: The Wine shop does not sell alcohol or wine
explanation_1: A "wine shop," by nature, sells what is in its name.  It cannot be a wine shop if it does not sell wine.
premise_logic: exists s1 x1.(ne_org_shop(s1) & (s1 = x1) & ne_org_wine(x1) & a_topic(s1))
hypothesis_logic: exists x1 x2.(n_shop(x1) & (x1 = x2) & ne_nam_wine(x2) & -exists e1 x3.(Theme(e1,x3) & Actor(e1,x1) & v_sell(e1) & (n_alcohol(x3) | n_wine(x3))))
premise_sim: exists s1 x1.(ne_org_wine(x1) & ne_org_shop(s1) & a_topic(s1) & (s1 = x1))
hypothesis_sim: exists x1 x2.(ne_nam_wine(x2) & n_shop(x1) & all e1 x3.((-v_sell(e1) | -n_wine(x3) | -Theme(e1,x3) | -Actor(e1,x1)) & (-v_sell(e1) | -n_alcohol(x3) | -Theme(e1,x3) | -Actor(e1,x1))) & (x1 = x2))