The passage starts with a conditional claim, then there is a shift, claiming that in order for the A ---> B B has a condition, so in order for the claim to be true we need to assume that the condition is true for all cases. That's why AC E is correct.