You did not negate the statement "all elements of a set S have property X" correctly. The opposite of "all elements of a set S have property X" is _not_ "no elements of set S have property X".
The opposite of "all elements of a set S have property X" is "some element of S does not have property X". If S is empty, "some element of S does not have property X" is definitely _not_ true.