That's why flipping it to say that every rational, when squared, doesn't give you a prime. The concept of irrartional is already tough. I've found that when handled carefully, even quite young kids can handle at least some of it.

But you're right, proof by contradiction can be tough.