premise: The spectators wear hats
hypothesis: The spectators don't wear anything on their heads
explanation_1: If spectators wear hats it can not be true that they don't wear anything on their heads.
premise_logic: exists e1 x1 x2.(n_spectator(x1) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_hat(x2))
hypothesis_logic: exists x1 x3.(n_head(x3) & of(x3,x1) & n_thing(x1) & n_spectator(x1) & -all x2.(n_thing(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & on(x2,x3))))
premise_sim: exists e1 x1 x2.(v_wear(e1) & n_spectator(x1) & n_hat(x2) & Theme(e1,x2) & Actor(e1,x1))
hypothesis_sim: exists x1 x3.(of(x3,x1) & n_thing(x1) & n_spectator(x1) & n_head(x3) & exists x2.(n_thing(x2) & all e1.(-v_wear(e1) | -on(x2,x3) | -Theme(e1,x2) | -Actor(e1,x1))))