$A_n$ is simple for every n ≥ 3

The kind of mistake this is

Standard counterexample

There is a canonical object that settles this. Recognising it is the whole question.