Let's assume a snark has a Hamiltonian cycle. A snark has an even number of vertices (Handshaking lemma) so we can color the edges of the cycle red and blue. The edges that are not part of the cycle form a perfect matching. Color the edges of the perfect matching green. We have a 3-edge coloring of a snark, a contradiction.