z⇒(¬(y⇒x))

$$z \Rightarrow y \not\Rightarrow x$$