then compared that to the total fare in the lower cabin calculated on the day of the change and gave the difference pro-rated.
I don't think that would hold up in court.
The fare difference on the day of booking between the actually booked F fare and the corresponding C fare with similar restrictions should be applicable.