Denying a necessary consequence requires a genuine implication between the propositions.

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