Theorem con3rr3

Rotate through consequent right. (Contributed by Wolf Lammen, 3-Nov-2013.)

Hypothesis
con3rr3.1
\( \vdash \varphi \rightarrow \psi \rightarrow \chi \)
Conclusion
\( \vdash \neg \chi \rightarrow \varphi \rightarrow \neg \psi \)
Proof
con3rr3.1
con3d _
com12 _