Looking at the demo he couldn't use firebolt because he had just cast grease that turn. Not because he cast firebolt before the battle.
He said something that sounded like it was because he used it before battle, but firebolt wasn't greyed out until after he cast grease; and that makes much more sense. So I think he just didn't say the correct thing.