TeX source:

(\phi \to \chi )\to ((\phi \to \neg \chi )\to \neg \phi )