According to the loophole. To create contraposatives: read backwards and negate as you go. So A to B is NOT B to NOT A. Regardless of how long the chain is.