An inference frequently discussed in literature on conditional logic that from a sentence $\neg \left(\phi \to \psi \right)$, one can infer the sentence $\phi \to \neg \psi$, where $\to$ and $\neg$ are conditional and negation connectives, respectively. Formally, the inference