Artificial intelligent assistant

Hamiltonian Graph Problem I've been going about the proof of the Snark Graph's (< non-Hamiltonicity. I understand that a snark is connected, bridgeless ( removing any edge does not make the graph unconnected), cubic ( $\forall\ v \in V(G), \deg(v) = 3),$ and a chromatic index of 4 ($\chi^\prime(G) = 4$). I am having some issues synthesizing these properties to show there is at least two vertices without a Hamiltonian path in between them. Any assistance will be appreciated.

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.

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy 4a7a1b63e5c77a88b3ddade93c04e408