Primitive three-cycle criterion ($G\text{ primitive},(abc)\in G⟹A_n\le G$)

Conjugate the three-cycle throughout the group. Connected components of the support hypergraph form an invariant block system. Primitivity makes it connected, and connected triple supports generate an alternating group gives the conclusion.