Multiple Implication
(MI)
with no assumptions.
We prove (MI) by natural deduction.