Unfortunately your example is flawed. He can only take a $3,000 loss in any given tax year therefore carrying over $12,700 losses for any future tax years providing he has gains he needs to offset.