premise: Street vendors sell various wards, including pineapples and soccer balls.
hypothesis: Street vendors are closing their shops.
explanation_1: The vendors can't sell various wards while they are closing their shops.
explanation_2: The shops cannot be closed if the vendors are selling wards.
explanation_3: Street vendors cannot be selling pineapples and soccer balls while closing their shops.
premise_logic: exists e1 s1 x1 x2 x3 x4 x5 x6 x7.(Theme(e1,x3) & Actor(e1,x1) & v_sell(e1) & include(x3,x4) & subset_of(x6,x4) & n_ball(x6) & of(x6,x7) & n_soccer(x7) & subset_of(x5,x4) & n_pineapple(x5) & n_ward(x3) & a_various(s1) & Theme(s1,x3) & n_vendor(x1) & (x1 = x2) & ne_per_street(x2))
hypothesis_logic: exists e1 x1 x2 x3.(Theme(e1,x3) & Actor(e1,x1) & v_close(e1) & n_shop(x3) & of(x3,x1) & n_thing(x1) & n_vendor(x1) & (x1 = x2) & ne_per_street(x2))