... that children under 5 must be permitted to swim before ... Right?
Must be trues, like necessary assumptions, must follow the negation ... ’t, it’s NOT a Must BE True). If we negate (B), ... . That clearly contradicts the inference we made from above.