 In a nutshell, Albert’s argument in [ii] is that if A is invalid, it must be possible for B to be true and C false. But if A is invalid, C is true. So it is impossible for B to be true and C false. So even if A is invalid, it is valid, and so A is valid. But by [i], if A is valid it is invalid. So it is both—paradox.