The £69.70 Off Peak Return (with 16-25 discount) has restriction code YC which says (amongst other things):
So he was right that her ticket was not valid.
However Clause 9.5 of the National Rail Conditions of Travel says:
So he could have charged £115.00 (the difference between £184.70 for...