How is this even a question? It says that Pokemon that are banned by OU Tierlist aren't legal right in the start post. She broke the rules, there have to be consequences. Whether she has to redo the battle or get a loss for it, is not up for Funbot to decide.