I would interpret this differently - the original paid ticket wasn't CW, it was WT+ - using miles to get to CW.
If he had paid at check-in to get into F from a fully cash-paid CW ticket, he would be entitled to get F miles & tier pts, but this is being blocked by the fact that he has used miles to get from WT+ to CW.