Which inference correctly describes denial through a necessary consequence?

A Second Sense of Majāz: Case Changes Through Ellipsis and Addition

• If A implies B, denying B denies A
• If A implies B, denying A proves B
• If B is true, A is automatically impossible without a relation
• Denying either of two unrelated claims denies the other