TeX source:

(\neg p\to (p\to q))\to ((\neg q\to \neg p)\to (\neg q\to (p\to q)))