Comment by jblezo

Also, I'm not sure that those two affirmations are equivalent:

  ~∀x  (~IsAHatOfMine(x) ∨  Green(x))

   ∃x ~(~IsAHatOfMine(x) ∨  Green(x))